{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T15:15:02Z","timestamp":1778253302260,"version":"3.51.4"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,29]]},"DOI":"10.1109\/icra48891.2023.10161436","type":"proceedings-article","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T17:20:56Z","timestamp":1688491256000},"page":"9090-9096","source":"Crossref","is-referenced-by-count":2,"title":["RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications"],"prefix":"10.1109","author":[{"given":"Bart","family":"Wesselink","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology,Faculty of Computer Science,Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koen","family":"de Vos","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology,Faculty of Mechanical engineering,Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Kuertev","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology,Faculty of Computer Science,Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology,Faculty of Mechanical engineering,Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Torta","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology,Faculty of Mechanical engineering,Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s12369-013-0217-8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3030190"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3342355"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0278364919856695"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2923099"},{"key":"ref6","first-page":"5","article-title":"Ros: An open-source robot operating system","volume-title":"ICRA workshop on open source software","volume":"3","author":"Quigley"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abm6074"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938836"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_17"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8593559"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793722"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_29"},{"key":"ref14","author":"Ringert","year":"2015","journal-title":"Language and code generator composition for model-driven engineering of robotics component & connector systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3428300"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34327-8_16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.06.031"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2023.105433"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717095"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"}],"event":{"name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","location":"London, United Kingdom","start":{"date-parts":[[2023,5,29]]},"end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10160211\/10160212\/10161436.pdf?arnumber=10161436","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T02:27:31Z","timestamp":1710383251000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10161436\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,29]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icra48891.2023.10161436","relation":{},"subject":[],"published":{"date-parts":[[2023,5,29]]}}}