A formal methods approach to the analysis of mode confusion (1998)

by R W Butler, S P Miller, J N Potts, V A Carreño
Venue:In 17th AIAA/IEEE Digital Avionics Systems Conference