Marco Bozzano Adolfo Villafiorita The FSAP/NuSMV-SA Safety Analysis Platform. 5-24 2007 9 STTT 1 http://dx.doi.org/10.1007/s10009-006-0001-2 db/journals/sttt/sttt9.html#BozzanoV07