IEE Colloquium on Designing Safety-Critical Systems