EXTENDED ABSTRACT Safety-critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. There are many well known examples in application areas such as medical devices, aircraft flight control, weapons, and nuclear systems. A safety critical system is a system where human safety is dependent upon the correct operation of...