Evaluation of Software Development Tools for High Assurance Safety Critical Systems. - Andrew J. Kornecki; Kimberley Hall; Darryl Hearn; Herman Lau; Janusz Zalewski (HASE, 2004)

Approaches to assure safety in fly-by-wire systems: Airbus vs. boeing. - Andrew J. Kornecki; Kimberley Hall (IASTED Conf. on Software Engineering and Applications, 2004)