Safety-related Application Development Techniques Methods and techniques for developing safety-related and safety-critical applications.