Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards | IEEE Conference Publication | IEEE Xplore