Susanne Graf Sébastien Gérard Øystein Haugen Iulian Ober Bran Selic Modelling and Analysis of Real Time and Embedded Systems - Using UML. 126-130 2006 conf/models/2006w MoDELS Workshops http://dx.doi.org/10.1007/978-3-540-69489-2_16 db/conf/models/models2006w.html#GrafGHOS06