1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
2. Andersen, M., Larsen, H., Srba, J., Sørensen, M., Taankvist, J.: Verification of liveness properties on closed timed-arc Petri nets. In: Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, vol. 7721 of LNCS. Springer, (2013)
3. Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime D.: Uppaal-tiga: Time for playing games! In: Computer Aided Verification: 19th International Conference, vol. 4590 of LNCS. Springer, Berlin (2007)
4. Behrmann, G., David, A., Larsen, K., Hakansson, J., Petterson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: Third International Conference on Quantitative Evaluation of Systems, (2006)
5. Berthomieu, B., Vernadat, F.: Time Petri nets analysis with TINA. In: Third International Conference on Quantitative Evaluation of Systems. IEEE Computer Society, (2006)