A. Schöll, C. Braun, and H. Wunderlich. Proceedings of the 23rd IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS'17), page 237--239. (2017)
A. Kesper, V. Wenz, and G. Taentzer. (2020)cite arxiv:2007.11298Comment: 28 pages. This paper is an extended version of a paper to be published in ÄCM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)". Added subtitle.