Virtual Verification of E/E Architectures for Secure Automated Driving Functions. - Kevin Neubauer; Marcel Rumez; Huiying Tremmel; Augusto W. Hoppe; Reiner Kriesten; Philipp Nenninger; Eric Sax; Jürgen Becker 001 (ISSE, 2021)