Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems
C. Wiecher, C. Mandel, M. Günther, J. Fischbach, J. Greenyer, M. Greinert, C. Wolff, R. Dumitrescu, D. Mendez, A. Albers, ArXiv Preprint (2022).