Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.

Kawtar Benghazi Akhlaki Manuel I. Capel Tuñón Juan Antonio Holgado Terriza Luis E. Mendoza Morales Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. 16-25 2006 conf/vveis/2006 MSVVEIS db/conf/vveis/msvveis2006.html#AkhlakiTTM06