{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T21:27:58Z","timestamp":1778275678559,"version":"3.51.4"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,12,7]],"date-time":"2022-12-07T00:00:00Z","timestamp":1670371200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,7]],"date-time":"2022-12-07T00:00:00Z","timestamp":1670371200000},"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":[[2022,12,7]]},"DOI":"10.1109\/snpd54884.2022.10051801","type":"proceedings-article","created":{"date-parts":[[2023,3,6]],"date-time":"2023-03-06T18:37:15Z","timestamp":1678127835000},"page":"156-161","source":"Crossref","is-referenced-by-count":5,"title":["Formal Specification and Verification of Drone System using TLA+: A Case Study"],"prefix":"10.1109","author":[{"given":"Madhusmita","family":"Das","sequence":"first","affiliation":[{"name":"National Institute of Technology,Department of Information Technology,Karnataka,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Biju R.","family":"Mohan","sequence":"additional","affiliation":[{"name":"National Institute of Technology,Department of Information Technology,Karnataka,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ram Mohana Reddy","family":"Guddeti","sequence":"additional","affiliation":[{"name":"National Institute of Technology,Department of Information Technology,Karnataka,India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"547","article-title":"Safety critical systems: Challenges and directions","volume-title":"Proceedings of the 24th international conference on software engineering","author":"Knight","year":"2002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.310.6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3390\/robotics10010026"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1631\/FITEE.1800636"},{"key":"ref6","article-title":"Failure analysis methods in unmanned aerial vehicle (uav) applications","volume-title":"Proceedings of COBEM 2007 19th International Congress of Mechanical Engineering","author":"Franco","year":"2007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4314\/njt.v35i1.24"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSRS.2017.8272821"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICICT50521.2020.00028"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE49692.2020.00048"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2979894"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_14"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2002.1033032"}],"event":{"name":"2022 IEEE\/ACIS 23rd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD)","location":"Taichung, Taiwan","start":{"date-parts":[[2022,12,7]]},"end":{"date-parts":[[2022,12,9]]}},"container-title":["2022 IEEE\/ACIS 23rd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10051724\/10051766\/10051801.pdf?arnumber=10051801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T18:38:15Z","timestamp":1707849495000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10051801\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,7]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/snpd54884.2022.10051801","relation":{},"subject":[],"published":{"date-parts":[[2022,12,7]]}}}