A Formal Methods Approach to the Analysis of Mode Confusion (1998)

by R W Butler, S P Miller, J N Potts, V A Carreno
Venue:Proceedings DASC'98 - 17th Digital Avionics Systems Conference