{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,9]],"date-time":"2025-05-09T15:53:30Z","timestamp":1746806010768,"version":"3.40.5"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/indin.2018.8472084","type":"proceedings-article","created":{"date-parts":[[2018,10,9]],"date-time":"2018-10-09T02:00:15Z","timestamp":1539050415000},"page":"23-30","source":"Crossref","is-referenced-by-count":2,"title":["A JSON\/HTTP communication protocol to support the development of distributed cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Fernando","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","article-title":"An analysis of the RADIUS authentication protocol","author":"hill","year":"0","journal-title":"InfoGard Laboratories"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.17487\/rfc4513"},{"year":"0","key":"ref30","article-title":"Kerberos: The Network Authentication Protocol"},{"year":"0","key":"ref10"},{"key":"ref11","first-page":"1c","article-title":"IEEE Standard VHDL Language Reference Manual","year":"2009","journal-title":"IEEE Std 1076-2008 (Revision of IEEE Std 1076-2002) IEEESTD"},{"article-title":"The JavaScript Object Notation (JSON) Data Interchange Format","year":"2014","author":"bray","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2016.7794152"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICMC.2014.7232002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2016.2620101"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034958"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2000-41403"},{"key":"ref18","article-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","volume":"1","author":"jensen","year":"1997","journal-title":"Basic Concepts"},{"journal-title":"Renew – User Guide","year":"2009","author":"kummer","key":"ref19"},{"year":"0","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2014.03.115"},{"key":"ref27","first-page":"1","article-title":"OPC Unified Architecture (OPC UA) new opportunities of system integration and information modelling in automation systems","author":"van der linden","year":"2011","journal-title":"Industrial Informatics (INDIN) 2011 9th IEEE International Conference on"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322503"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"article-title":"The DS-Pnet modeling formalismfor cyber-physical system development","year":"2017","author":"pereira","key":"ref29"},{"key":"ref5","first-page":"65","article-title":"Combining data-flows and petri nets for cyberphysical systems specification","volume":"470","author":"pereira","year":"2016","journal-title":"Technological Innovation for Cyber-Physical Systems - 7th IFIP WG 5 5\/SOCOLNET Advanced Doctoral Conference on Computing Electrical and Industrial Systems DoCEIS 2016 Proceedings"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","article-title":"Synchronous data flow","volume":"75","author":"lee","year":"1987","journal-title":"Proceedings of the IEEE"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"ref2","article-title":"A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems","volume":"8","author":"gunes","year":"0","journal-title":"KSII Transactions on Internet and Information Systems (TIIS)"},{"key":"ref1","first-page":"161","article-title":"Cyber-physical systems","volume":"12","author":"baheti","year":"2011","journal-title":"The Impact of Control Technology"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2442116.2442133"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.15"},{"key":"ref22","volume":"99","author":"davis","year":"1999","journal-title":"Overview of the Ptolemy Project"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1997.616278"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.09.021"},{"key":"ref23","first-page":"572","article-title":"Remote operation of embedded controllers designed using IOPT Petri-nets. In Industrial Informatics (INDIN)","author":"pereira","year":"2015","journal-title":"2015 IEEE 13th International Conference on"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.17487\/rfc7252"},{"article-title":"Mqtt for sensor networks (mqtt-sn) protocol specification","year":"2013","author":"stanford-clark","key":"ref25"}],"event":{"name":"2018 IEEE 16th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2018,7,18]]},"location":"Porto","end":{"date-parts":[[2018,7,20]]}},"container-title":["2018 IEEE 16th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8453042\/8471919\/08472084.pdf?arnumber=8472084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T15:37:50Z","timestamp":1640273870000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8472084\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/indin.2018.8472084","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}