Currently, dramatically increasing design costs are being reported for safety-critical applications. This is caused by additional necessary actions to implement and verify functional safety ...