IEE Colloquium on Safety Critical Software in Vehicle and Traffic Control