The introduction of novel safety-critical applications in our day-to-day life, have increased significantly the requirement of developing systems that embed sophisticated mechanisms to ensure safe operation. The most ...