{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T01:42:28Z","timestamp":1785375748900,"version":"3.55.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/wowmom.2011.5986386","type":"proceedings-article","created":{"date-parts":[[2011,8,16]],"date-time":"2011-08-16T15:25:02Z","timestamp":1313508302000},"page":"1-9","source":"Crossref","is-referenced-by-count":7,"title":["A verifiedwireless safety critical hard real-time design"],"prefix":"10.1109","author":[{"given":"Hernan Baro","family":"Graf","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juhi","family":"Kulshrestha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jens","family":"Peter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anjo","family":"Vahldiek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aravind","family":"Vasudevan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"13","year":"0","journal-title":"UPPAAL PRO - Uppaal for Probabilistic Timed Automata"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.13.4"},{"key":"12","article-title":"Special issue on embedded systems","volume":"33","year":"2000","journal-title":"IEEE Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_33"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2009.41"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.104"},{"key":"10","year":"0","journal-title":"Modest Toolset"},{"key":"7","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/978-3-642-04368-0_17","article-title":"Stochastic Games for Verification of Probabilistic Timed Automata","volume":"5813","author":"kwiatkowska","year":"2009","journal-title":"Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"5","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/S0927-0507(06)13011-X","article-title":"Rare-event simulation techniques: An introduction and recent advances","volume":"13","author":"juneja","year":"2006","journal-title":"Handbooks in Operations Research and Management Science"},{"key":"4","year":"0","journal-title":"Highway Addressable Remote Transducer (HART) Protocol"},{"key":"9","year":"0","journal-title":"MyriaNed R Large Wireless Sensor and Control Network"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1016\/S0065-2458(02)80004-3","article-title":"Embedded Software","volume":"56","author":"lee","year":"2002","journal-title":"Advances in Computers"}],"event":{"name":"2011 IEEE International Symposium on \"A World of Wireless, Mobile and Multimedia Networks\" (WoWMoM)","location":"Lucca, Italy","start":{"date-parts":[[2011,6,20]]},"end":{"date-parts":[[2011,6,24]]}},"container-title":["2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5976314\/5986116\/05986386.pdf?arnumber=5986386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T00:48:10Z","timestamp":1497919690000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5986386\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/wowmom.2011.5986386","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}