22 Oct 2013

State Space Exploration for NASA’s Safety Critical Systems