Vieri Del Bianco Luigi Lavazza Marco Mauri Giuseppe Occorso Towards UML-Based Formal Specifications of Component-Based Real-Time Software. 118-134 2003 conf/fase/2003 FASE http://link.springer.de/link/service/series/0558/bibs/2621/26210118.htm db/conf/fase/fase2003.html#BiancoLMO03