Putting flight software through the paces with testing, model checking, and constraint-solving (2008)

by Alex Groce, Gerard Holzmann, Rajeev Joshi, Ru-Gang Xu
Venue:In International Workshop on Constraints in Formal Verification