Stefan Andrei, Albert Mo Kim Cheng. Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. In Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008. pages 475-479, IEEE Computer Society, 2008. [doi]
Abstract is missing.