Safety is a requirement in systems where failure could cause loss of human life or other catastrophic consequences. Developing safety-critical so...