Formal Techniques, Modelling And Analysis Of Timed And Fault-Tolerant Systems by Yassine Lakhnech