CA Furia, M Rossi, D Mandrioli, A Morzenti - … , FASE 2005, Held as Part of …, 2005 - Springer
We present a framework for formally proving that the composition of the behaviors of the
different parts of a complex, real-time system ensures a desired global specification of the …