1. TAPAAL, http://www.tapaal.net
2. UPPAAL, http://www.uppaal.com
3. Abdulla, P.A., Nylén, A.: Better is better than well: On efficient verification of infinite-state systems. In: Proceedings of 15th Annual IEEE Symposium on Logic in Computer Science (LICS 2000), pp. 132–140 (2000)
4. Lecture Notes in Computer Science;P.A. Abdulla,2001
5. Lecture Notes in Computer Science;P.A. Abdulla,2004