Title: Applications of formal methods to specification and safety of avionics software
Subjects: Decision tables, Avionics