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