IEE Colloquium on Knowledge-Based Systems for Safety Critical Applications