1. Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia and Marco Roveri (1999) NuSMV: A New Symbolic Model Verifier. In CAV., pages 495-499. (url) (BibTeX)
  2. Alessandro Cimatti and Marco Roveri (1999) Conformant Planning via Model Checking. In ECP., pages 21-34. (BibTeX)