1. A theory of timed automata;Alur;Theoretical computer science,1994
2. Object-oriented sfc and isa-s88. 01 recipes presented at the world batch forum;Arzen;ISA transactions,1996
3. Behrmann, G., David, A., Larsen, K.G., Hakansson, J., Petterson, P., Yi, W., and Hendriks, M. (2006). Uppaal 4.0. In IEEE 3rd International Conference on Quantitative Evaluation of Systems. QEST 2006., 125–126.
4. Abstract regular model checking;Bouajjani,2004
5. Automated generation of partial markov chain from high level descriptions;Brameret;Reliability Engineering & System Safety,2015