Lichen Zhang, Jifeng He. A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems. In Geuk Lee, Daniel Howard, Dominik Slezak, editors, Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings. Volume 206 of Communications in Computer and Information Science, pages 391-398, Springer, 2011. [doi]
Abstract is missing.