RAT: A Tool for the Formal Analysis of Requirements. - Roderick Bloem; Roberto Cavada; Ingo Pill; Marco Roveri; Andrei Tchaltsev (CAV, 2007)

Diagnostic Information for Realizability. - Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Andrei Tchaltsev (VMCAI, 2008)

A Comprehensive Approach to On-Board Autonomy Verification and Validation. - Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev (IJCAI, 2011)

Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. - Alessandro Cimatti; Raffaele Corvino; Armando Lazzaro; Iman Narasamdya; Tiziana Rizzo; Marco Roveri; Angela Sanseviero; Andrei Tchaltsev (CAV, 2012)