Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics.

Luis E. Mendoza Morales Manuel I. Capel Tuñón Kawtar Benghazi Akhlaki Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. 205-211 2007 conf/iceis/2007-3 ICEIS (3) db/conf/iceis/iceis2007-3.html#MoralesTA07