{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:32:52Z","timestamp":1759332772619,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/rtss.2014.28","type":"proceedings-article","created":{"date-parts":[[2015,1,19]],"date-time":"2015-01-19T21:35:42Z","timestamp":1421703342000},"page":"53-62","source":"Crossref","is-referenced-by-count":55,"title":["Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software"],"prefix":"10.1109","author":[{"given":"Goran","family":"Frehse","sequence":"first","affiliation":[]},{"given":"Arne","family":"Hamann","sequence":"additional","affiliation":[]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Woehrle","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Modular, hierarchical models of control systems in spaceex","author":"donz\u00e9","year":"2013","journal-title":"Proc Eur Control Conf (ECC'13)"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/1629335.1629351"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/s10009-012-0257-7"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/s10617-010-9055-1"},{"key":"ref14","first-page":"379","article-title":"SpaceEx: Scalable verification of hybrid systems","volume":"6806","author":"frehse","year":"2011","journal-title":"CAV Ser LNCS"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/2461328.2461361"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/321738.321743"},{"key":"ref17","first-page":"807","article-title":"Control robotics: the procedural control of physical processes","author":"dertouzos","year":"1974","journal-title":"Proceedings of the IFIP Congress"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1023\/B:TIME.0000045315.61234.1e"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/MCS.2003.1200240"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/12.919277"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/JPROC.2002.805825"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/REAL.1990.128748"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.7873\/DATE.2013.163"},{"key":"ref8","article-title":"On the stabilizability of continuous-time systems over a packet based communication system with loss and delay","author":"blind","year":"2014","journal-title":"International Federation of Automatic Control (IFAC) World Congress"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/JPROC.2006.887306"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/DATE.2012.6176523"},{"year":"0","journal-title":"Open Systems and the Corresponding Interfaces for Automotive Electronics","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/0304-3975(94)00202-T"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/CDC.2002.1184698"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/RTAS.2008.13"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/2228360.2228484"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/2502524.2502540"}],"event":{"name":"2014 IEEE Real-Time Systems Symposium (RTSS)","start":{"date-parts":[[2014,12,2]]},"location":"Rome, Italy","end":{"date-parts":[[2014,12,5]]}},"container-title":["2014 IEEE Real-Time Systems Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7008943\/7010360\/07010474.pdf?arnumber=7010474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T20:48:31Z","timestamp":1490302111000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7010474\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/rtss.2014.28","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}