An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.

Manuel I. Capel Tuñón Kawtar Benghazi Akhlaki Juan Antonio Holgado Terriza Luis E. Mendoza Morales An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. 74-83 2007 conf/vveis/2007 MSVVEIS db/conf/vveis/msvveis2007.html#TunonATM07