Realtime Verification & Validation of the Space Shuttle Main Engine Controller Software August 2003 #V&V #Realtime #VxWorks