, ASSERT project official website: www.assert-project

J. Barnes, High integrity software: The SPARK approach to safety and integrity, pp.0-321, 2003.

S. Bornot and J. Sifakis, An algebraic framework for urgency, Inf. Comput, vol.163, issue.1, pp.172-202, 2000.

E. Conquet, M. Perrotin, P. Dissaux, T. Tsiodras, and J. Hugues, The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software, Embedded Real Time Software and Systems, 2010.

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the StateExplosion Problem, Lecture Notes in Computer Science, vol.1032, 1996.

J. Hooman, H. Kugler, I. Ober, A. Votintseva, and Y. , Yushtein: Supporting UML-based development of embedded systems by formal techniques, Software and System Modeling, vol.7, issue.2, pp.131-155, 2008.

I. Ober and I. Dragomir, Unambiguous UML composite structures: The OMEGA2 experience, SOFSEM, vol.6543, pp.418-430, 2011.

I. Ober, S. Graf, Y. Yushtein, and I. Ober, 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.

I. Ober, S. Graf, and D. Lesens, Modeling and validation of a software architecture for the ariane-5 launcher, Lecture Notes in Computer Science, vol.4037, pp.48-62, 2006.

-. Ifx and . Website,

. Omg, Ob ject Management Group -Systems Modeling Language (SysML), 2008.