From Programs to Systems - The Systems Perspective in ComputingSaddek Bensalem, Yassine Lakhnech, Axel Legay · First published 2014Open the Tome
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant SystemsYassine Lakhnech, Sergio Yovine · First published 2004Open the Tome
Concurrency verificationW.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers · First published 2001Open the Tome
Specification and verification of hybrid and real time systemsYassine Lakhnech · First published 1996Open the Tome
