@inproceedings{BFPR09-SEFM09, author = {Marcello M. Bersani and Carlo A. Furia and Matteo Pradella and Matteo Rossi}, title = {Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms}, booktitle = {Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09)}, pages = {13--22}, year = {2009}, month = {November}, publisher = {IEEE Computer Society Press}, urltopdf = {/people/furia/pubs/sefm09.pdf} }