1Tan Ying, Goddard S. A Prototype Architecture for Cyber Physical Systems[J]. SIGBED Review, 2008.
2Tan Ying, Vuran M C, Goddard S. Spatio-Temporal Event Model for Cyber-Physical Systems[C] //Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops. 2009 : 44-50.
3Kim J E, Mosse D. Generic Framework for Design, Modeling and Simulation of Cyber Physical Systems[C]//Position Paper for NSF Workshop on Cyber-Physical Systems. 2006.
4Williams R D, Dugn J B. Cyber-Physieal Systems: Timing is(almost) everything[C] ff Position Paper for NSF Workshop on Cyber-Physical Systems. 2006.
5Akella R, McMillin B M. Model-checking BNDC propertiesin Cyber-physieal systems[C]//Proceedings of International Computer Software and Applications Conference. 2009:660-663.
6Gaddam N, Kumar G S A, Somani A K. Securing Physical Processes Against Cyber Attacks in Cyber-Physical Systems[C]//Position Paper for NSF Workshop on Cyber-PhysicalSystems.
7Woo H, Yi Jian-liang. A Simulation Framework for PSoC Based Cyber Physical Systems[C]//Proceedings of International Conference on Distributed Computing Systems. 2008:525-528.
8Lui Sha, Sathish G, Xue Liu, et al. Cyber physical systems.. A new frontier [C]///Proceedings of IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing. 2008 : 1-9.
9Noble B D, Flinn J. Wireless, Self-organizing Cyber-Physical Systems['C] ff Position Paper for NSF Workshop on Cyber- Physical Systems. 2006.
10Huang Ching-ling, Raja S, Hariharan K. Design of Cooperative Vehicle Safety Systems Based on Tight Coupling of Communication, Computing and Physical Vehicle Dynamics[C] ff Proceedings of the 1st ACM/IEEE International Conference on Cyber- Physical Systems. 2010:159-167.
