The integration of ANSYS ® medini analyze, an integrated tool to implement key safety analysis methods, and the SCADE Suite ®, a model-based development environment for critical embedded ...