1. The UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded Systems. http://www.omgmarte.org/ 2013. {Online; accessed 22-December-2014}. The UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded Systems. http://www.omgmarte.org/ 2013. {Online; accessed 22-December-2014}.
2. N.
Adjir P.
De Saqui-Sannes and
K.
Rahmouni
.
Testing Real-Time Systems Using TINA. In M. Núñez P. Baker and M. Merayo editors Testing of Software and Communication Systems volume
5826
of
LNCS pages
1
--
15
.
Springer Berlin Heidelberg 2009
. 10.1007/978-3-642-05031-2_1 N. Adjir P. De Saqui-Sannes and K. Rahmouni. Testing Real-Time Systems Using TINA. In M. Núñez P. Baker and M. Merayo editors Testing of Software and Communication Systems volume 5826 of LNCS pages 1--15. Springer Berlin Heidelberg 2009. 10.1007/978-3-642-05031-2_1
3. A theory of timed automata
4. Environment behavior models for automation of testing and assessment of system safety
5. Time Petri Nets Analysis with TINA