1. A survey of statistical model checking;Agha;ACM Transactions on Modeling and Computer Simulation (TOMACS),2018
2. Principles of model checking;Baier,2008
3. A tutorial on uppaal;Behrmann;Formal Methods for the Design of Real-Time Systems,2004
4. A tutorial on Uppaal 4.0;Behrmann,2006
5. Timed automata: Semantics, algorithms and tools;Bengtsson,2003