Leveson, Nancy. "Role of Software in Spacecraft Accidents." Journal of Spacecraft and Rockets 41, no. 4 (2004): 564-75.