Aamer Mahmood

• Executable assertions and flight software