{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T22:12:39Z","timestamp":1725401559025},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.23919\/ecc.2013.6669654","type":"proceedings-article","created":{"date-parts":[[2018,6,21]],"date-time":"2018-06-21T16:11:56Z","timestamp":1529597516000},"page":"4238-4243","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and verification of a robotic surgical system using Hybrid Input\/Output Automata"],"prefix":"10.23919","author":[{"given":"Marta","family":"Capiluppi","sequence":"first","affiliation":[]},{"given":"Luzie","family":"Schreiter","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Fiorini","sequence":"additional","affiliation":[]},{"given":"Joerg","family":"Raczkowsky","sequence":"additional","affiliation":[]},{"given":"Heinz","family":"Woern","sequence":"additional","affiliation":[]}],"member":"263","event":{"name":"2013 European Control Conference (ECC)","start":{"date-parts":[[2013,7,17]]},"location":"Zurich","end":{"date-parts":[[2013,7,19]]}},"container-title":["2013 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6657188\/6669080\/06669654.pdf?arnumber=6669654","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,6,21]],"date-time":"2018-06-21T16:17:08Z","timestamp":1529597828000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6669654\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.23919\/ecc.2013.6669654","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}