C. Dubslaff, A. Morozov, C. Baier, and K. Janschek. Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), pp. 121-133, (2020)
S. Kamm, N. Sahlab, N. Jazdi, and M. Weyrich. 16th CIRP Conference on Intelligent Computation in Manufacturing Engineering, CIRP ICME ‘22, Italy, (2022)