Virtual Verification of E/E Architectures for Secure Automated Driving Functions | IEEE Conference Publication | IEEE Xplore