With our increasing dependency on computer-based systems, ensuring their dependability becomes one the most important concerns during system development. This is especially true for missionand safety-critical systems. Critical systems typically use fault tolerance mechanisms to mitigate run-time errors. However, fault tolerance modelling and, in particular, rigorous definitions of fault toleran...
