IEE Colloquium on 'Safety Critical Software in Vehicle and Traffic Control' (Digest No.031) | IET Conference Publication | IEEE Xplore