Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies | IEEE Conference Publication | IEEE Xplore