{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T15:52:05Z","timestamp":1781884325677,"version":"3.54.5"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"15","license":[{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1942836"],"award-info":[{"award-number":["CCF-1942836"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1952096"],"award-info":[{"award-number":["CNS-1952096"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Austrian FFG-Funded IoT4CPS Project at TU Wien"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Internet Things J."],"published-print":{"date-parts":[[2021,8,1]]},"DOI":"10.1109\/jiot.2021.3069943","type":"journal-article","created":{"date-parts":[[2021,3,31]],"date-time":"2021-03-31T20:10:06Z","timestamp":1617221406000},"page":"11793-11806","source":"Crossref","is-referenced-by-count":35,"title":["A Novel Spatial\u2013Temporal Specification-Based Monitoring System for Smart Cities"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6916-8774","authenticated-orcid":false,"given":"Meiyi","family":"Ma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8004-6601","authenticated-orcid":false,"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7690-0801","authenticated-orcid":false,"given":"Eli","family":"Lifland","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7307-9395","authenticated-orcid":false,"given":"John A.","family":"Stankovic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4651-8441","authenticated-orcid":false,"given":"Lu","family":"Feng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020083231504"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00511-9"},{"key":"ref33","year":"2021","journal-title":"New York City Open Data"},{"key":"ref32","first-page":"31","article-title":"SUMO—Simulation of urban mobility: An overview","author":"behrisch","year":"2011","journal-title":"Proc SIMUL"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTCOMP.2016.7501688"},{"key":"ref30","year":"2018","journal-title":"Crimes of Chicago—One Year Prior to Present"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00137-8"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2009.82"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89437-7_6"},{"key":"ref34","article-title":"Semantic modelling of smart city data","author":"nechifor","year":"2014","journal-title":"Proc W3C Workshop Web Things Enablers Services Open Web Devices"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00014"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2010.22"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127050"},{"key":"ref14","first-page":"417","article-title":"MoonLight: A lightweight tool for monitoring spatio-temporal properties","volume":"12399","author":"bartocci","year":"2020","journal-title":"Proc Int'l Conf Runtime Verification (RV)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00013"},{"key":"ref17","year":"2019","journal-title":"Emissions From Transportation Nyc Environment Protection"},{"key":"ref18","year":"2016","journal-title":"Air Quality—Motor Vehicular Pollutants Lead Odors and Nuisance Pollutants"},{"key":"ref19","author":"matteo","year":"2019","journal-title":"A local law to amend the administrative code of the city of new york in relation to restricting the use of bus lanes by sight-seeing buses"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3355283"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322232"},{"key":"ref3","year":"2017","journal-title":"Smart+Connected Operations Center"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3191786"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1978.1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3054977.3054989"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3137003.3137005"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917251"},{"key":"ref2","year":"2012","journal-title":"IBM Takes ‘Smarter Cities’ to Rio De Janeiro"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728633"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3063386.3063771"},{"key":"ref20","year":"2019","journal-title":"Use of heating oil remaining in tanks"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.02.042"},{"key":"ref22","year":"2016","journal-title":"Official city of Los Angeles municipal code"},{"key":"ref21","article-title":"Residential energy efficiency","year":"2019","journal-title":"Energy Resources for State and Local Governments"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039367"},{"key":"ref24","year":"2016","journal-title":"Stopping Standing or Parking Prohibited in Specified Places"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.6.897"},{"key":"ref23","year":"2019","journal-title":"Guide to Indoor Air Quality Management in Hong Kong Regional Offices and Public Places"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1467247.1467271"},{"key":"ref26","year":"2016","journal-title":"Safety Management for Kindergarten Primary and Secondary School"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2016.2609138"},{"key":"ref25","year":"2016","journal-title":"Pre-Hospital Medical Emergency Regulations"}],"container-title":["IEEE Internet of Things Journal"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6488907\/9493570\/9391992-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6488907\/9493570\/09391992.pdf?arnumber=9391992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:53:49Z","timestamp":1652194429000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9391992\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,1]]},"references-count":45,"journal-issue":{"issue":"15"},"URL":"https:\/\/doi.org\/10.1109\/jiot.2021.3069943","relation":{},"ISSN":["2327-4662","2372-2541"],"issn-type":[{"value":"2327-4662","type":"electronic"},{"value":"2372-2541","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,8,1]]}}}