1. E. A. Lee, “Cyber-Physical Systems: Design Challenges,” in Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on, 2008, pp. 363–369.
2. Y. Jia, Z. Zhang, and S. Xie, “Modeling and verification of interactive behavior for cyber-physical systems,” in 2011 IEEE 2nd International Conference on Software Engineering and Service Science (ICSESS), 2011, pp. 552–555.
3. FlexRay. .
4. C. Togay, A. H. Dogru, and J. U. Tanik, “Systematic Component-Oriented development with Axiomatic Design,” J. Syst. Softw., vol. 81, no. 11, pp. 1803–1815, Nov. 2008.
5. C. Togay, “Systematic Component-Oriented Development with Axiomatic Design,” Dissertation, Middle East Technical University, Ankara, Turkey, 2008.