Susanne Graf Øystein Haugen Ileana Ober Bran Selic Preface of "Specification and Validation of Real Time and Embedded systems in UML". 93-96 2006 8 STTT 2 http://dx.doi.org/10.1007/s10009-005-0220-y db/journals/sttt/sttt8.html#GrafHOS06