{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:19:52Z","timestamp":1730279992157,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.1109\/iwssip48289.2020.9145043","type":"proceedings-article","created":{"date-parts":[[2020,7,21]],"date-time":"2020-07-21T21:18:40Z","timestamp":1595366320000},"page":"453-458","source":"Crossref","is-referenced-by-count":0,"title":["Modelling and Certifying Smart Cities in Reo Circuits"],"prefix":"10.1109","author":[{"given":"Erick","family":"Grilo","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/J.ENG.2016.02.012"},{"key":"ref11","article-title":"Towards a shared software infrastructure for smart homes, smart buildings and smart cities","author":"privat","year":"0","journal-title":"International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11737-9_5"},{"journal-title":"Automated Theorem Proving A Logical Basis","year":"2014","author":"loveland","key":"ref14"},{"journal-title":"Interactive Theorem Proving and Program Development Coq'Art The Calculus of Inductive Constructions","year":"2013","author":"bertot","key":"ref15"},{"key":"ref16","article-title":"Edge cloud computing technologies for internet of things: A primer","author":"ai","year":"0","journal-title":"Digital Communications and Networks"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3390\/s16111810"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.10.008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.mfglet.2014.12.001"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"ref6","first-page":"287","article-title":"Critical systems for smart cities: Towards certifying software","year":"2019","journal-title":"Digital and Smart Cities"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2018.8489371"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref2","first-page":"161","article-title":"Cyber-physical systems","volume":"12","author":"baheti","year":"2011","journal-title":"The Impact of Control Technology"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2013.01.010"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSGSC.2017.8038587"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-011-0191-6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40020-2_2"}],"event":{"name":"2020 International Conference on Systems, Signals and Image Processing (IWSSIP)","start":{"date-parts":[[2020,7,1]]},"location":"Niter\u00f3i, Brazil","end":{"date-parts":[[2020,7,3]]}},"container-title":["2020 International Conference on Systems, Signals and Image Processing (IWSSIP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9138148\/9145030\/09145043.pdf?arnumber=9145043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:49:58Z","timestamp":1656452998000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9145043\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iwssip48289.2020.9145043","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}