State Space Exploration for NASA’s Safety Critical Systems