M. Klein, N. Jazdi, and M. Weyrich. Procedia CIRP, (2017)10th CIRP Conference on Intelligent Computation in Manufacturing Engineering - CIRP ICME '16. Edited by: Roberto Teti, Manager Editor: Doriana M. D'Addona.
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)