{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:42:27Z","timestamp":1725504147196},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/cacsd.2008.4627349","type":"proceedings-article","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T17:55:28Z","timestamp":1222278928000},"page":"1265-1270","source":"Crossref","is-referenced-by-count":0,"title":["Towards the Exhaustive Verification of Real-Time Aspects in Controller Implementation"],"prefix":"10.1109","author":[{"given":"Carlo A.","family":"Furia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Mazzucchelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Spoletini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mara","family":"Tanelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/9.400494"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.07.005"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.07.003"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70718"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"journal-title":"Formal Methods for Real-Time Computing","year":"1996","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"8","article-title":"an experiment in applying uml 2.0 to the development of an industrial critical application","author":"cigoli","year":"2003","journal-title":"Proceedings of CSDUML'03"},{"key":"11","article-title":"petri nets: an introduction","author":"reisig","year":"1985","journal-title":"ser EATCS Monographs on Theoretical Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434433"}],"event":{"name":"2008 IEEE International Conference on Computer-Aided Control Systems (CACSD) part of the Multi-Conference on Systems and Control","start":{"date-parts":[[2008,9,3]]},"location":"San Antonio, TX","end":{"date-parts":[[2008,9,5]]}},"container-title":["2008 IEEE International Conference on Computer-Aided Control Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4624276\/4627319\/04627349.pdf?arnumber=4627349","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T20:36:40Z","timestamp":1580935000000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4627349\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/cacsd.2008.4627349","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}