{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:26:44Z","timestamp":1743049604770,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195007"},{"type":"electronic","value":"9783030195014"}],"license":[{"start":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T00:00:00Z","timestamp":1557619200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-19501-4_11","type":"book-chapter","created":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T11:37:08Z","timestamp":1557574628000},"page":"110-122","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Framework to Verify Distributed IoT Solutions for Traffic Analysis in ATN Stations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7567-5705","authenticated-orcid":false,"given":"Bogdan","family":"Czejdo","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7532-362X","authenticated-orcid":false,"given":"Wiktor B.","family":"Daszczuk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,12]]},"reference":[{"key":"11_CR1","unstructured":"Tozzi, C.: IoT and Data Syncing: Tips for Developers (2016). \n                  https:\/\/sweetcode.io\/iot-data-syncing-tips-developers\/"},{"key":"11_CR2","unstructured":"IT Glossary. Internet of Things. \n                  https:\/\/www.gartner.com\/it-glossary\/internet-of-things"},{"issue":"3\u20134","key":"11_CR3","first-page":"143","volume":"9","author":"H Ratana","year":"2017","unstructured":"Ratana, H., Mohamad, S.M.S.: Towards model checking of network applications for IoT system development. J. Telecommun. Electron. Comput. Eng. 9(3\u20134), 143\u2013149 (2017). \n                  http:\/\/journal.utem.edu.my\/index.php\/jtec\/article\/view\/2934","journal-title":"J. Telecommun. Electron. Comput. Eng."},{"key":"11_CR4","unstructured":"Burns, P.: 5 Reasons Why Synchronization is Critical to IoT. The clocks on your IoT devices are way more important than you think (2017). \n                  https:\/\/www.iotforall.com\/iot-synchronization\/"},{"issue":"5","key":"11_CR5","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1093\/comjnl\/bxw099","volume":"60","author":"WB Daszczuk","year":"2017","unstructured":"Daszczuk, W.B.: Communication and resource deadlock analysis using IMDS formalism and model checking. Comput. J. 60(5), 729\u2013750 (2017). \n                  https:\/\/doi.org\/10.1093\/comjnl\/bxw099","journal-title":"Comput. J."},{"issue":"4","key":"11_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3390\/computers7040065","volume":"7","author":"WB Daszczuk","year":"2018","unstructured":"Daszczuk, W.B.: Specification and verification in integrated model of distributed systems (IMDS). MDPI Comput. 7(4), 1\u201326 (2018). \n                  https:\/\/doi.org\/10.3390\/computers7040065","journal-title":"MDPI Comput."},{"key":"11_CR7","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-12835-7","volume-title":"Integrated Model of Distributed Systems","author":"Wiktor B. Daszczuk","year":"2020","unstructured":"Daszczuk, W.B.: Integrated Model of Distributed Systems. SCI, vol. 817, 238 p. Springer, Cham (2020). \n                  https:\/\/doi.org\/10.1007\/978-3-030-12835-7"},{"key":"11_CR8","unstructured":"Dedan. \n                  http:\/\/staff.ii.pw.edu.pl\/dedan\/files\/DedAn.zip"},{"key":"11_CR9","doi-asserted-by":"publisher","unstructured":"Jia, W., Zhou, W.: Distributed network systems. From Concepts to Implementations. In: NETA, vol. 15, 513 p. Springer, New York (2005). \n                  https:\/\/doi.org\/10.1007\/b102545","DOI":"10.1007\/b102545"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-642-22410-2_36","volume-title":"Digital Information Processing and Communications","author":"Bogdan Czejdo","year":"2011","unstructured":"Czejdo, B., Bhattacharya, S., Baszun, M.: Use of multi-level state diagrams for robot cooperation in an indoor environment. In: ICDIPC 2011: Digital Information Processing and Communications, Ostrava, Czech Republic, 7\u20139 July 2011, Part II. CCIS, vol. 189, pp. 411\u2013425. Springer, Heidelberg (2011). \n                  https:\/\/doi.org\/10.1007\/978-3-642-22410-2_36"},{"issue":"99","key":"11_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/tits.2017.2665968","volume":"PP","author":"S Parkinson","year":"2017","unstructured":"Parkinson, S., Ward, P., Wilson, K., Miller, J.: Cyber threats facing autonomous and connected vehicles: future challenges. IEEE Trans. Intell. Transp. Syst. PP(99), 1\u201318 (2017). \n                  https:\/\/doi.org\/10.1109\/tits.2017.2665968","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"11_CR12","doi-asserted-by":"publisher","unstructured":"Kim, T.U., Lee, J.W., Yang, S.: Study on development of autonomous vehicle using embedded control board. In: 2016 11th International Forum on Strategic Technology (IFOST), Novosibirsk, Russia, 1\u20133 June 2016, pp. 599\u2013603. IEEE (2016). \n                  https:\/\/doi.org\/10.1109\/ifost.2016.7884331","DOI":"10.1109\/ifost.2016.7884331"},{"key":"11_CR13","doi-asserted-by":"publisher","unstructured":"Zhang, S., Yen, I.-L., Bastani, F., Moeini, H., Moore, D.: A semantic model for information sharing in autonomous vehicle systems. In: 2017 IEEE 11th International Conference on Semantic Computing (ICSC), San Diego, CA, 30 January\u20131 February 2017, pp. 32\u201339. IEEE (2017). \n                  https:\/\/doi.org\/10.1109\/icsc.2017.93","DOI":"10.1109\/icsc.2017.93"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"7777","DOI":"10.1007\/978-1-4419-0851-3_671","volume-title":"Encyclopedia of Sustainability Science and Technology","author":"Shannon S. McDonald","year":"2012","unstructured":"McDonald, S.S.: Personal Rapid Transit (PRT) system and its development. In: Encyclopedia of Sustainability Science and Technology, pp. 7777\u20137797. Springer, New York (2012). \n                  https:\/\/doi.org\/10.1007\/978-1-4419-0851-3_671"},{"issue":"3","key":"11_CR15","first-page":"1436","volume":"17","author":"M Koz\u0142owski","year":"2015","unstructured":"Koz\u0142owski, M., Choroma\u0144ski, W., Kowara, J.: Parametric sensitivity analysis of ATN-PRT vehicle (Automated transit network \u2013 personal rapid transit). J. VibroEng. 17(3), 1436\u20131451 (2015). \n                  https:\/\/www.jvejournals.com\/article\/16019","journal-title":"J. VibroEng."},{"issue":"4","key":"11_CR16","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1002\/atr.1365","volume":"50","author":"WB Daszczuk","year":"2016","unstructured":"Daszczuk, W.B., Mie\u015bcicki, J., Grabski, W.: Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network. J. Adv. Transp. 50(4), 608\u2013629 (2016). \n                  https:\/\/doi.org\/10.1002\/atr.1365","journal-title":"J. Adv. Transp."},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-319-29504-6_18","volume-title":"Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015","author":"Olfa Chebbi","year":"2016","unstructured":"Chebbi, O., Chaouachi, J.: A decentralized management approach for on-demand transit transportation system. In: Abraham, A., Wegrzyn-Wolska, K., Hassanien, A., Snasel, V., and Alimi, A. (eds.) Second International Afro-European Conference for Industrial Advancement, AECIA 2015, Paris, Villejuif, France, 9\u201311 September 2015. AISC, vol. 427, pp. 175\u2013184. Springer, Cham (2015). \n                  https:\/\/doi.org\/10.1007\/978-3-319-29504-6_18"},{"key":"11_CR18","doi-asserted-by":"publisher","unstructured":"Garofalaki, Z., Kallergis, D., Katsikogiannis, G., Ellinas, I., Douligeris, C.: Transport services within the IoT ecosystem using localisation parameters. In: 2016 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT), Limassol, Cyprus, 12\u201314 December 2016, pp. 87\u201392. IEEE (2016). \n                  https:\/\/doi.org\/10.1109\/isspit.2016.7886014","DOI":"10.1109\/isspit.2016.7886014"},{"key":"11_CR19","doi-asserted-by":"publisher","unstructured":"Won, J.-M., Choe, H., Karray, F.: Optimal design of personal rapid transit. In: 2006 IEEE Intelligent Transportation Systems Conference, Toronto, Canada, 17\u201320 September 2006, pp. 1489\u20131494. IEEE (2006). \n                  https:\/\/doi.org\/10.1109\/itsc.2006.1707434","DOI":"10.1109\/itsc.2006.1707434"},{"key":"11_CR20","unstructured":"Muller, P.J.: Open-guideway personal rapid transit station options. In: Twelfth International Conference, Automated People Movers, Atlanta, Georgia, 31 May\u20133 June 2009, pp. 350\u2013360. American Society of Civil Engineers, Reston (2009). \n                  https:\/\/trid.trb.org\/view\/920208"},{"key":"11_CR21","unstructured":"Lowson, M., Hammersley, J.: Maximization of PRT station capacity. In: 90th Annual Meeting Transportation Research Board, Washington, DC 1317 (2011). \n                  https:\/\/www.researchgate.net\/publication\/258344039_Maximization_of_PRT_Station_Capacity"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-319-33622-0_39","volume-title":"Advances in Intelligent Systems and Computing","author":"Ezzeddine Fatnassi","year":"2016","unstructured":"Fatnassi, E., Chaouachi, J.: Discrete event simulation of loading unloading operations in a specific intermodal transportation context. In: Silhavy, R., Senkerik, R., Oplatkova, Z.K., Silhavy, P., and Prokopova, Z. (eds.) 5th Computer Science On-line Conference 2016 (CSOC 2016), Software Engineering Perspectives and Application in Intelligent Systems, vol. 2, Prague, Czech Republic, 27\u201330 April 2016. AISC, vol. 465, pp. 435\u2013444. Springer, Cham (2016). \n                  https:\/\/doi.org\/10.1007\/978-3-319-33622-0_39"},{"issue":"6","key":"11_CR23","first-page":"1294","volume":"17","author":"B Czejdo","year":"2016","unstructured":"Czejdo, B., Bhattacharya, S., Baszun, M., Daszczuk, W.B.: Improving resilience of autonomous moving platforms by real-time analysis of their cooperation. Autobusy-TEST 17(6), 1294\u20131301 (2016). arXiv:1705.04263","journal-title":"Autobusy-TEST"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/3-540-55179-4_32","volume-title":"Computer Aided Verification","author":"Patrice Godefroid","year":"1992","unstructured":"Godefroid, P., Wolper, P.: Using partial orders for the efficient verification of deadlock freedom and safety properties. In: 3rd International Workshop, CAV 1991, Aalborg, Denmark, 1\u20134 July 1991. LNCS, vol. 575, pp. 332\u2013342. Springer, Heidelberg (1992). \n                  https:\/\/doi.org\/10.1007\/3-540-55179-4_32"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-642-18381-2_41","volume-title":"SOFSEM 2011: Theory and Practice of Computer Science","author":"Michel A. Reniers","year":"2011","unstructured":"Reniers, M.A., Willemse, T.A.C.: Folk theorems on the correspondence between state-based and event-based systems. In: 37th Conference on Current Trends in Theory and Practice of Computer Science, Nov\u00fd Smokovec, Slovakia, 22\u201328 January 2011, LNCS, vol. 6543, pp. 494\u2013505. Springer, Heidelberg (2011). \n                  https:\/\/doi.org\/10.1007\/978-3-642-18381-2_41"}],"container-title":["Advances in Intelligent Systems and Computing","Engineering in Dependability of Computer Systems and Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19501-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T03:44:02Z","timestamp":1558151042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19501-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,12]]},"ISBN":["9783030195007","9783030195014"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19501-4_11","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,5,12]]},"assertion":[{"value":"12 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DepCoS-RELCOMEX","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Dependability and Complex Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brun\u00f3w","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"depcos2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/depcos.pwr.wroc.pl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}