{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:47:07Z","timestamp":1730299627304,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T00:00:00Z","timestamp":1713139200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T00:00:00Z","timestamp":1713139200000},"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":[[2024,4,15]]},"DOI":"10.1109\/syscon61195.2024.10553550","type":"proceedings-article","created":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T17:55:15Z","timestamp":1718646915000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Fast and Secure Mission Description, Validation and Deployment for Safety-Critical Operations"],"prefix":"10.1109","author":[{"given":"Anton Dimov","family":"Hristozov","sequence":"first","affiliation":[{"name":"Carnegie Mellon University,Software Engineering Institute,Pittsburgh,PA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2019.8836808"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2924410"},{"key":"ref3","article-title":"A family of domain-specific languages for specifying civilian missions of multi-robot systems","author":"Ruscio","year":"2014","journal-title":"MORSE@STAF"},{"key":"ref4","first-page":"27","article-title":"Development of a flexible language for mission description for multi-robot missions","volume-title":"Information Sciences","volume":"288","author":"Silva","year":"2014"},{"key":"ref5","article-title":"Mission planning, simulation and supervision of unmanned aerial vehicle with a gis-based framework","author":"Guti\u00e9rrez","year":"2006","journal-title":"ICINCO-RA"},{"key":"ref6","first-page":"111543","article-title":"Configuring mission-specific behavior in a product line of collaborating small unmanned aerial systems","volume-title":"Journal of Systems and Software","volume":"197","author":"Islam","year":"2023"},{"article-title":"\u2019fly like this\u2019: Natural language interface for uav mission planning","volume-title":"International Conference on Advances in Computer-Human Interaction","author":"Chandarana","key":"ref7"},{"key":"ref8","first-page":"377","volume-title":"Languages for Specifying Missions of Robotic Applications","author":"Dragule","year":"2021"},{"issue":"4","key":"ref9","article-title":"Drone mission definition and implementation for automated infrastructure inspection using airborne sensors","volume-title":"Sensors","volume":"18","author":"Besada","year":"2018"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3377812.3382143"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1869542.1869625"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-70740-8_11"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250705"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03418-4_3"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/REDUAS47371.2019.8999683"},{"key":"ref16","first-page":"926","article-title":"Uavs-as-a-service: Cloud-based remote application management for drones","volume-title":"2021 IFIP\/IEEE International Symposium on Integrated Network Management (IM)","author":"Moeyersons"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2019.8753857"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1080\/23311916.2022.2029080"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7140074"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2019.8766667"}],"event":{"name":"2024 IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2024,4,15]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2024,4,18]]}},"container-title":["2024 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10553374\/10553399\/10553550.pdf?arnumber=10553550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T19:14:00Z","timestamp":1719342840000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10553550\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,15]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/syscon61195.2024.10553550","relation":{},"subject":[],"published":{"date-parts":[[2024,4,15]]}}}