Marc Lettrari Jochen Klose Scenario-Based Monitoring and Testing of Real-Time UML Models. 317-328 2001 conf/uml/2001 UML http://dx.doi.org/10.1007/3-540-45441-1_24 db/conf/uml/uml2001.html#LettrariK01