More advanced design-time checking
Support for annotation and specification of models (LTL, CTL properties, contracts) Statically analyze model structure, interfaces, behavior Auto-generate annotations for static analyzers together with code
@sergio.feo.arenis : can you please elaborate on the need?