Marcello M. Bersani Carlo A. Furia Matteo Pradella Matteo Rossi Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms http://arxiv.org/abs/0907.5074 2009 CoRR abs/0907.5074 db/journals/corr/corr0907.html#abs-0907-5074 informal publication