OCRA: A tool for checking the refinement of temporal contracts. - Alessandro Cimatti; Michele Dorigatti; Stefano Tonetta (ASE, 2013)

The nuXmv Symbolic Model Checker. - Roberto Cavada; Alessandro Cimatti; Michele Dorigatti; Alberto Griggio; Alessandro Mariotti; Andrea Micheli; Sergio Mover; Marco Roveri; Stefano Tonetta (CAV, 2014)

Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. - Thomas Arts; Michele Dorigatti; Stefano Tonetta (SAFECOMP, 2014)