Safety-critical systems are systems where failures lead to catastrophic results: resulting in loss of life, significant property damage, or damage to the environment. These systems range from aerospace on-board control systems, ground flight control systems, medical devices, nuclear power plants control, automotive systems, military systems, just to name a few. Other information systems are becoming more and more "safety-critical" due to the financial impacts of failures and the fact that human lives depend on them.