Modern embedded safety-critical applications are utilizing tools to help the software development deal with safety-critical guidelines. Simulink and Scade are examples of these tools, often used to design flight control, ...