System-Scenario-based Design Principles and ApplicationsFrancky Catthoor, Twan Basten, Nikolaos Zompakis, Marc Geilen, Per Gunnar Kjeldsberg · First published 2019Open the Tome
Formal techniques for verification of complex real-time systemsMarc Constantijn Willem Geilen · First published 2002Open the Tome
