Title: Flight guidance system validation using SPIN
Subjects: Control systems design, Avionics, Program verification (Computers), Computer programs