, ASSERT project official website: www.assert-project
High integrity software: The SPARK approach to safety and integrity, pp.0-321, 2003. ,
An algebraic framework for urgency, Inf. Comput, vol.163, issue.1, pp.172-202, 2000. ,
The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software, Embedded Real Time Software and Systems, 2010. ,
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the StateExplosion Problem, Lecture Notes in Computer Science, vol.1032, 1996. ,
Yushtein: Supporting UML-based development of embedded systems by formal techniques, Software and System Modeling, vol.7, issue.2, pp.131-155, 2008. ,
Unambiguous UML composite structures: The OMEGA2 experience, SOFSEM, vol.6543, pp.418-430, 2011. ,
Timing analysis and validation with UML: the case of the embedded mars bus manager, Innovations in Systems and Software Engineering, vol.4, issue.3, pp.301-308, 2008. ,
Modeling and validation of a software architecture for the ariane-5 launcher, Lecture Notes in Computer Science, vol.4037, pp.48-62, 2006. ,
,
Ob ject Management Group -Systems Modeling Language (SysML), 2008. ,