Ensuring Trustworthy Automated Road Vehicles: A Software Integrity Validation Approach | IEEE Conference Publication | IEEE Xplore