Experiences with Assurance Cases for Spacecraft Safing. - Elisabeth A. Nguyen; Alex G. Ellis (ISSRE, 2011)