Added example with basic concepts of fault-tolerance verification as
shown in D33.3.