References

[1] Rajkumar R R, Lee I, Sha L, et al. Cyber-physical systems: the next computing revolution. In: Proceedings of the 47th Design Automation Conference. New York: ACM, 2010. 731--736. Google Scholar http://scholar.google.com/scholar_lookup?title=Rajkumar R R, Lee I, Sha L, et al. Cyber-physical systems: the next computing revolution. In: Proceedings of the 47th Design Automation Conference. New York: ACM, 2010. 731--736&

[2] Rawat D B, Rodrigues J J, Stojmenovic I. Cyber-Physical Systems: From Theory to Practice. Boca Raton: CRC Press, 2015. Google Scholar http://scholar.google.com/scholar_lookup?title=Rawat D B, Rodrigues J J, Stojmenovic I. Cyber-Physical Systems: From Theory to Practice. Boca Raton: CRC Press, 2015&

[3] Zhou , X S, Yang Y L, Yang G. Modeling methods for dynamic behaviors of cyber-physical system. Chinese J Comput, 2014, 37: 1411-1423 Google Scholar http://scholar.google.com/scholar_lookup?title=Modeling methods for dynamic behaviors of cyber-physical system&author=Zhou &author=X S&author=Yang Y L&author=Yang G&publication_year=2014&journal=Chinese J Comput&volume=37&pages=1411-1423

[4] Morgan J, O'Donell G E. A service-oriented reconfigurable process monitoring system-enabling cyber physical systems. J Mach Eng, 2014, 14: 116-129 Google Scholar http://scholar.google.com/scholar_lookup?title=A service-oriented reconfigurable process monitoring system-enabling cyber physical systems&author=Morgan J&author=O'Donell G E&publication_year=2014&journal=J Mach Eng&volume=14&pages=116-129

[5] Wang L, T{ö}rngren M, Onori M. Current status and advancement of cyber-physical systems in manufacturing. J Manuf Syst, 2015, 37: 517-527 CrossRef Google Scholar http://scholar.google.com/scholar_lookup?title=Current status and advancement of cyber-physical systems in manufacturing&author=Wang L&author=T{ö}rngren M&author=Onori M&publication_year=2015&journal=J Manuf Syst&volume=37&pages=517-527

[6] Tariq M U, Grijalva S, Wolf M. A service-oriented, cyber-physical reference model for smart grid. In: Cyber Physical Systems Approach to Smart Electric Power Grid. Berlin: Springer, 2015. 25--42. Google Scholar http://scholar.google.com/scholar_lookup?title=Tariq M U, Grijalva S, Wolf M. A service-oriented, cyber-physical reference model for smart grid. In: Cyber Physical Systems Approach to Smart Electric Power Grid. Berlin: Springer, 2015. 25--42&

[7] Ahmad A, Paul A, Rathore M M, et al. Smart cyber society: integration of capillary devices with high usability based on cyber-physical dystem. Future Gener Comput Syst, 2015, 56: 493-503 Google Scholar http://scholar.google.com/scholar_lookup?title=Smart cyber society: integration of capillary devices with high usability based on cyber-physical dystem&author=Ahmad A&author=Paul A&author=Rathore M M&publication_year=2015&journal=Future Gener Comput Syst&volume=56&pages=493-503

[8] Chen Y X. Stec: a location-triggered specification language for real-time systems. In: Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), Shenzhen, 2012. 1--6. Google Scholar http://scholar.google.com/scholar_lookup?title=Chen Y X. Stec: a location-triggered specification language for real-time systems. In: Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), Shenzhen, 2012. 1--6&

[9] Wu H Y, Chen Y X, Zhang M. On denotational semantics of spatial-temporal consistency language--STeC. In: Proceedings of International Symposium on Theoretical Aspects of Software Engineering (TASE), Birmingham, 2013. 113--120. Google Scholar http://scholar.google.com/scholar_lookup?title=Wu H Y, Chen Y X, Zhang M. On denotational semantics of spatial-temporal consistency language--STeC. In: Proceedings of International Symposium on Theoretical Aspects of Software Engineering (TASE), Birmingham, 2013. 113--120&

[10] Rajhans A, Bhave A, Ruchkin I, et al. Supporting heterogeneity in cyber-physical systems architectures. IEEE Trans Automat Contr, 2014, 59: 3178-3193 CrossRef Google Scholar http://scholar.google.com/scholar_lookup?title=Supporting heterogeneity in cyber-physical systems architectures&author=Rajhans A&author=Bhave A&author=Ruchkin I&publication_year=2014&journal=IEEE Trans Automat Contr&volume=59&pages=3178-3193

[11] Leit{\ a}o P, Vrba P, Strasser T. Multi-agent systems as automation platform for intelligent energy systems. In: Proceedings of IECON 39th Annual Conference of the IEEE Industrial Electronics Society, Vienna, 2013. 66--71. Google Scholar http://scholar.google.com/scholar_lookup?title=Leit{\ a}o P, Vrba P, Strasser T. Multi-agent systems as automation platform for intelligent energy systems. In: Proceedings of IECON 39th Annual Conference of the IEEE Industrial Electronics Society, Vienna, 2013. 66--71&

[12] Ni Z, Kobetski A, Axelsson J. Design and Implementation of a Dynamic Component Model for Federated AUTOSAR Systems. In: Proceedings of the 51st Annual Design Automation Conference. New York: ACM, 2014. 1--6. Google Scholar http://scholar.google.com/scholar_lookup?title=Ni Z, Kobetski A, Axelsson J. Design and Implementation of a Dynamic Component Model for Federated AUTOSAR Systems. In: Proceedings of the 51st Annual Design Automation Conference. New York: ACM, 2014. 1--6&

[13] Ramos C, Vale Z, Faria L. Cyber-physical intelligence in the context of power systems. In: Future Generation Information Technology. Berlin: Springer, 2011. 19--29. Google Scholar http://scholar.google.com/scholar_lookup?title=Ramos C, Vale Z, Faria L. Cyber-physical intelligence in the context of power systems. In: Future Generation Information Technology. Berlin: Springer, 2011. 19--29&