1. Behrmann, G., David, A., Larsen, K.G., Pettersson, P., Wang Yi: Developing Uppaal over 15 years. Softw. - Pract. Exp. 41(2), 133–142 (2011). https://doi.org/10.1002/spe.1006
2. Lecture Notes in Computer Science;G Behrmann,2004
3. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes. In: de Bakker, Hazewinkel, J.W., Lenstra, J.K. (eds.) Mathematics and Computer Science, CWI Monograph 1, pp. 89–138. North-Holland (1986)
4. Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edn. Packt Publishing, Birmingham (2016)
5. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. 14, 25–59 (1987). https://doi.org/10.1016/0169-7552(87)90085-7