IEE Colloquium on Safety Critical Software in Vehicle and Traffic Control ISBN: 9799913028611 Platform/Publisher: IEEE Xplore / IET Digital rights:Users: Unlimited; Printing: Chapters; Download: Chapters Subjects: Computing and Processing; Robotics and Control Systems; Transportation;