T. Gros, D. Groß, S. Gumhold, J. Hoffmann, M. Klauck, and M. Steinmetz. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, page 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)
J. Gerritzen, A. Hornig, P. Winkler, and M. Gude. ECCM21 - Proceedings of the 21st European Conference on Composite Materials, 3, page 1252--1259. European Society for Composite Materials (ESCM), (Jul 2, 2024)21st European Conference on Composite Materials, ECCM 21 ; Conference date: 02-07-2024 Through 05-07-2024.