Enable transition from informal to semi-formal and fully formal models

Specify system views using high-level, multi-paradigm modeling

Create assurance cases based on the Goal Structuring Notation (GSN) and high-level abstractions that allow automated checks