Portable Code for Complex Critical Systems .

Neil C. Audsley, I. J. Bate, Alan Grigg

Browse the full RTCSA paper archive.