A safety-critical system executes the critical tasks, the failure of which may jeopardize human life, lead to considerable nancial misfortune, or cause extensive environmental damage. Therefore, safety is considered as ...