Having used the platform extensively, this reviewer finds that the built ecosystem makes it easy to integrate with other platforms. The complex 'correct by construction' methodology can be difficult to navigate.