IEE Colloquium on 'High Integrity Ada' (Digest No.003) | IET Conference Publication | IEEE Xplore