{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:33:54Z","timestamp":1725806034525},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/indin.2017.8104740","type":"proceedings-article","created":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T11:34:58Z","timestamp":1511868898000},"page":"19-25","source":"Crossref","is-referenced-by-count":3,"title":["Early model-driven timing validation of IoT-compliant use cases"],"prefix":"10.1109","author":[{"given":"Padma","family":"Iyenghar","sequence":"first","affiliation":[]},{"given":"Arne","family":"Noyer","sequence":"additional","affiliation":[]},{"given":"Elke","family":"Pulvermueller","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/UIC-ATC-ScalCom.2014.95"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2015.263"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/WiMOB.2014.6962181"},{"year":"0","key":"ref13"},{"year":"0","key":"ref14"},{"year":"0","key":"ref15"},{"year":"0","key":"ref16"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2016.7744911"},{"year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2016.7509427"},{"year":"2017","key":"ref5"},{"key":"ref8","first-page":"1","article-title":"A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems","author":"noyer","year":"2016","journal-title":"Software Quality Journal"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733505"},{"year":"0","key":"ref2"},{"year":"0","key":"ref1"},{"key":"ref9","first-page":"139","author":"petriu","year":"2013","journal-title":"Software Model-based Performance Analysis"}],"event":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2017,7,24]]},"location":"Emden","end":{"date-parts":[[2017,7,26]]}},"container-title":["2017 IEEE 15th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8095148\/8104734\/08104740.pdf?arnumber=8104740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,15]],"date-time":"2017-12-15T16:57:32Z","timestamp":1513357052000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8104740\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/indin.2017.8104740","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}