From NuSMV to SPIN: Experiences with model checking flight guidance systems.

Yunja Choi From NuSMV to SPIN: Experiences with model checking flight guidance systems. 199-216 2007 30 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-006-0027-9 db/journals/fmsd/fmsd30.html#Choi07