Tool Support for High Integrity Ada Software. - A. D. Hutcheon; D. T. Jordan; John A. McDermid; R. H. Pierce; I. C. Wand; B. J. Jepson (Ada-Europe, 1994)

High integrity software development: process and tool issues. - A. D. Hutcheon; D. T. Jordan; John A. McDermid; R. H. Pierce; I. C. Wand; B. J. Jepson (Microprocess. Microsystems, 1995)