CA Furia, M Rossi, D Mandrioli, A Morzenti - Theoretical computer science, 2007 - Elsevier
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 …