{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:26:57Z","timestamp":1725888417243},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319600321"},{"type":"electronic","value":"9783319600338"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60033-8_63","type":"book-chapter","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T16:18:42Z","timestamp":1495815522000},"page":"741-754","source":"Crossref","is-referenced-by-count":1,"title":["A 3-Layer Method for Analysis of Cooperative Behaviors of Physical Devices in Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Gang","family":"Ren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pan","family":"Deng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,27]]},"reference":[{"issue":"5","key":"63_CR1","doi-asserted-by":"crossref","first-page":"923","DOI":"10.1109\/JPROC.2016.2519381","volume":"104","author":"JG Yao","year":"2016","unstructured":"Yao, J.G., Xu, X., Liu, X.: MixCPS: mixed time\/event-triggered architecture of cyber physical systems. Proc. IEEE 104(5), 923\u2013937 (2016)","journal-title":"Proc. IEEE"},{"issue":"10","key":"63_CR2","first-page":"145","volume":"11","author":"M Bendjima","year":"2015","unstructured":"Bendjima, M., Feham, M.: Architecture of an MAS-based intelligent communication in a WSN. Int. J. Distrib. Sens. Netw. 11(10), 145\u2013154 (2015)","journal-title":"Int. J. Distrib. Sens. Netw."},{"issue":"3","key":"63_CR3","first-page":"1","volume":"10","author":"Y Sun","year":"2014","unstructured":"Sun, Y., Zhang, S., Xu, H., Lin, S.: Cooperative communications for wireless Ad Hoc and sensor networks in 2013. Int. J. Distrib. Sens. Netw. 10(3), 1\u20132 (2014)","journal-title":"Int. J. Distrib. Sens. Netw."},{"key":"63_CR4","doi-asserted-by":"crossref","unstructured":"Knight, J.C.: Safety critical systems: challenges and directions. In: Proceedings of International Conference on Software Engineering, Orlando, FL, USA, pp. 547\u2013550, May 2002","DOI":"10.1145\/581339.581406"},{"key":"63_CR5","doi-asserted-by":"crossref","first-page":"678","DOI":"10.1109\/ACCESS.2015.2437951","volume":"3","author":"SM Riazul","year":"2015","unstructured":"Riazul, S.M., Daehan, K., Humaun, M., Hossain, M.: The internet of things for health care: a comprehensive survey. IEEE Access 3, 678\u2013708 (2015)","journal-title":"IEEE Access"},{"key":"63_CR6","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/ACCESS.2015.2416657","volume":"3","author":"KM Alam","year":"2015","unstructured":"Alam, K.M., Saini, M., El Saddik, A.: Toward social internet of vehicles: concept, architecture, and applications. IEEE Access 3, 343\u2013357 (2015)","journal-title":"IEEE Access"},{"issue":"2","key":"63_CR7","doi-asserted-by":"crossref","first-page":"858","DOI":"10.1109\/TITS.2013.2246153","volume":"14","author":"KM Ng","year":"2013","unstructured":"Ng, K.M., Reaz, M.B.I., Ali, M.A.: A review on the applications of Petri nets in modeling, analysis, and control of urban traffic. IEEE Trans. Intell. Transp. Syst. 14(2), 858\u2013870 (2013)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"63_CR8","unstructured":"Ren, G., Pan, D., Chao, Y., Jianwei, Z., Qingsong, H.: A formal approach for modeling and verication of distributed systems. In: Proceedings of CLOUDCOMP 2015, Daejeon, South Korea, 18\u201320 October 2015 (2015)"},{"issue":"23","key":"63_CR9","first-page":"1","volume":"11","author":"G Ren","year":"2015","unstructured":"Ren, G., Deng, P., Zhang, J., Hua, Q., Li, J., Qiu, Y.: Formal semantics of UML sequence diagram for safety-critical systems. J. Comput. Inf. Syst. 11(23), 1\u20138 (2015)","journal-title":"J. Comput. Inf. Syst."},{"key":"63_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-34032-1_19","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"A Fantechi","year":"2012","unstructured":"Fantechi, A., Flammini, F., Gnesi, S.: Formal methods for intelligent transportation systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7610, pp. 187\u2013189. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-34032-1_19"},{"key":"63_CR11","doi-asserted-by":"crossref","unstructured":"Russo, A.G., Ladenberger, L.: A formal approach to safety verification of railway signaling systems. In: 2012 Proceedings - Annual Reliability and Maintainability Symposium (RAMS), p. 4. IEEE (2012)","DOI":"10.1109\/RAMS.2012.6175516"},{"key":"63_CR12","unstructured":"OMG unified modeling language (omg uml). Report, OMG (2015)"},{"key":"63_CR13","unstructured":"Parrow, J.: An introduction to the \n            $$\\pi $$\n            \n              \n                \u03c0\n              \n            \n          -calculus. In: Bergstra Ponse Smolka Handbook of Process Algebra Elsevier S, vol. 179, no. 1, pp. 479\u2013543 (2000)"},{"key":"63_CR14","unstructured":"Bundgaard, M.: A brief introduction to mobility workbench (MWB). Report, Department of Theoretical Computer Science, IT University of Copenhagen (2005)"},{"key":"63_CR15","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G Holzmann","year":"2004","unstructured":"Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. DBLP, Boston (2004)"},{"issue":"1","key":"63_CR16","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s11235-015-9979-7","volume":"62","author":"J Liu","year":"2016","unstructured":"Liu, J., Wan, J., Wang, Q., Deng, P., Zhou, K.: A survey on position-based routing for vehicular Ad Hoc networks. Telecommun. Syst. 62(1), 15\u201330 (2016)","journal-title":"Telecommun. Syst."},{"key":"63_CR17","volume-title":"Model Checking","author":"EM Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"63_CR18","unstructured":"Yuan, M., Huang, Z., Zhao, J., Li, X.: Modeling and verification of automatic multi-business transactions. In: Proceedings of SEKE, pp. 274\u2013279 (2009)"},{"key":"63_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002). doi:\n10.1007\/3-540-45657-0_29"},{"issue":"8","key":"63_CR20","doi-asserted-by":"crossref","first-page":"1296","DOI":"10.1016\/j.micpro.2015.07.015","volume":"39","author":"P Deng","year":"2015","unstructured":"Deng, P., Ren, G., Yuan, W.: An integrated framework of formal methods for interaction behaviors among industrial equipments. Microprocess. Microsyst. 39(8), 1296\u20131304 (2015)","journal-title":"Microprocess. Microsyst."},{"key":"63_CR21","doi-asserted-by":"crossref","unstructured":"Zou, L., Zhany, N., Wang, S., Franzle, M., Qin, S.: Verifying simulink diagrams via a hybrid hoare logic prover. In: 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 1\u201310 (2013)","DOI":"10.1109\/EMSOFT.2013.6658587"},{"key":"63_CR22","unstructured":"Simulink User\u2019s Guide. \nhttp:\/\/www.mathworks.com\/help\/pdf_doc\/simulink\/sl_using.pdf\n\n. Accessed 24 July 2016"},{"key":"63_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-17164-2_1","volume-title":"Programming Languages and Systems","author":"J Liu","year":"2010","unstructured":"Liu, J., Lv, J., Quan, Z., Zhan, N., Zhao, H., Zhou, C., Zou, L.: A calculus for hybrid CSP. In: Ueda, K. (ed.) APLAS 2010. LNCS, vol. 6461, pp. 1\u201315. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-17164-2_1"},{"key":"63_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-54108-7_14","volume-title":"Verified Software: Theories, Tools, Experiments","author":"L Zou","year":"2014","unstructured":"Zou, L., Lv, J., Wang, S., Zhan, N., Tang, T., Yuan, L., Liu, Y.: Verifying Chinese train control system under a combined scenario by theorem proving. In: Cohen, E., Rybalchenko, A. (eds.) VSTTE 2013. LNCS, vol. 8164, pp. 262\u2013280. Springer, Heidelberg (2014). doi:\n10.1007\/978-3-642-54108-7_14"},{"key":"63_CR25","doi-asserted-by":"crossref","unstructured":"Lam, V.S.W., Padget, J.: Symbolic model checking of UML statechart diagrams with an integrated approach. In: Proceedings of 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Los Alamitos, CA, USA, pp. 337\u2013346, May 2004","DOI":"10.1109\/ECBS.2004.1316717"}],"container-title":["Lecture Notes in Computer Science","Wireless Algorithms, Systems, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60033-8_63","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T16:38:23Z","timestamp":1495816703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60033-8_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319600321","9783319600338"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60033-8_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}