D. Pollithy, M. Reith-Braun, F. Pfaff, und U. Hanebeck. 2020 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), Seite 229-236. (2020)
C. Dubslaff, A. Morozov, C. Baier, und K. Janschek. Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), pp. 121-133, (2020)