Vieri Del Bianco Luigi Lavazza Marco Mauri Giuseppe Occorso Towards UML-based formal specifications of component-based real-time software. 179-192 2007 9 STTT 2 http://dx.doi.org/10.1007/s10009-006-0024-8 db/journals/sttt/sttt9.html#BiancoLMO07