Carlo A. Furia Matteo Rossi Dino Mandrioli Angelo Morzenti Automated Compositional Proofs for Real-Time Systems. 326-340 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=326 2005 conf/fase/2005 FASE db/conf/fase/fase2005.html#FuriaRMM05