- From Informal Requirements to Property-Driven Formal Validation, by A. Cimatti, M. Roveri, A. Susi and S. Tonetta. In proc. Formal Methods for Industrial Critical Systems (FMICS). 2 - 3 November 2009, FMICS - 2009, Eindhoven, Netherlands. LNCS, © Springer. (pdf)
- Object models with temporal constraints, by A. Cimatti, M. Roveri, A. Susi and S. Tonetta. In proc. Software Engineering and Formal Methods (SEFM). 10 - 14 November 2008, SEFM - 2008, Cape Town, South Africa. © IEEE Computer Society (pdf)
- Supporting Requirements Validation: the EuRailCheck tool, by R. Cavada, A. Cimatti, A. Mariotti, C. Mattarei, A. Micheli, S. Mover, M. Pensallorto, M. Roveri, S. Susi and S. Tonetta. In International Conference on Automated Software Engineering (ASE). 16 - 20 November 2009, ASE - 2009, Auckland, New Zealand. © IEEE Computer Society (pdf)
- Requirements Validation for Hybrid Systems, by A. Cimatti, M. Roveri and S. Tonetta. In proc. International Conference on Computer-Aided Verification (CAV). June 26 - July 2 2009, CAV - 2009, Grenoble, France. LNCS, © Springer. (pdf)
- Formalization and Validation of a subset of the European Train Control System, by A. Chiappini, A. Cimatti, L. Macchi, O. Rebollo, M. Roveri, A. Susi, S. Tonetta and B. Vittorini. In proc. International Conference on Software Engineering (ICSE). 2 - 8 May 2010, ICSE - 2009, Cape Town, South Africa. (pdf)
- Formalizing requirements with object models and temporal constraints, by A. Cimatti, M. Roveri, A. Susi and S. Tonetta. In proc. Software and Systems Modeling (SOSYM). July 2010, SOSYM - 2010. © Springer. (pdf)