Mars Polar Lander Fault Identification Using Model-based Testing. - Mark R. Blackburn; Robert Busser; Aaron Nauman; Robert Knickerbocker; Richard Kasuda (ICECCS, 2002)