Engineering Complex Embedded Systems with State Analysis and the Mission Data System. - Michel D. Ingham; Robert D. Rasmussen; Matthew Bennett; Alex C. Moncada (J. Aerosp. Comput. Inf. Commun., 2005)