1. Logics, automata and classical theories for deciding real time;raskin;Ph D Dissertation,1999
2. A storm is coming: A modern probabilistic model checker;dehnert;CAV,2017
3. Automatic inference of fault tree models via multi-objective evolutionary algorithms;jimenez roa,2021
4. Model-Checking in Dense Real-Time