IEE Colloquium on 'Software Requirements for High Integrity Systems' (Digest No.115) | IET Conference Publication | IEEE Xplore