Eun-Young Kang, Li Huang, Dongrui Mu. Formal verification of energy and timed requirements for a cooperative automotive system. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1492-1499, ACM, 2018. [doi]