High integrity software (2001)

(untitled) - Sorensen, I; Neilson, D