A safety-critical system’s failure or malfunction may endanger people’s lives and environment. These systems include patient monitors in hospitals, nuclear power station control, railway control systems, aviation control systems, space shuttles, and military devices. These systems are tested to identify hazards as early as possible in the development life-cycle.