Title: Executable assertions and flight software
Subjects: Flight control, Software