{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:52:53Z","timestamp":1761706373416,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1109\/ccnc.2017.7983127","type":"proceedings-article","created":{"date-parts":[[2017,7,20]],"date-time":"2017-07-20T20:37:59Z","timestamp":1500583079000},"page":"325-330","source":"Crossref","is-referenced-by-count":4,"title":["Modeling and verification of temporal properties in cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Imen","family":"Graja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slim","family":"Kallel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nawal","family":"Guermouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS.2014.6933685"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2013.23"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2014.97"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/IJWSR.2015040101","article-title":"Time-dependent qos aware best service combination selection","volume":"12","author":"jmaiel","year":"2015","journal-title":"Int J Web Serv Res"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2539150.2539182"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2016.7543900"},{"key":"ref6","first-page":"1","article-title":"Modeling timing behavior for cyber-physical systems","author":"hanbo","year":"2009","journal-title":"Computational Intelligence and Software Engineering 2009 CiSE 2009 International Conference on"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.05.448"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2593458.2593463"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2016.41"},{"journal-title":"O management Group (2011 January) Business process model and notation","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038646"}],"event":{"name":"2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC)","start":{"date-parts":[[2017,1,8]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2017,1,11]]}},"container-title":["2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7976073\/7983067\/07983127.pdf?arnumber=7983127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T05:41:09Z","timestamp":1569908469000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7983127\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/ccnc.2017.7983127","relation":{},"subject":[],"published":{"date-parts":[[2017,1]]}}}