Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant SystemsYassine Lakhnech, Sergio Yovine · First published 2004Open the Tome
