Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza. A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. In José Cristóbal Riquelme Santos, Pere Botella, editors, XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain. pages 283-292, 2006.
Abstract is missing.