IEE Colloquium on Safety Critical Distributed Systems