{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T15:15:26Z","timestamp":1773414926069,"version":"3.50.1"},"reference-count":32,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"9","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.2514\/1.i010730","type":"journal-article","created":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T18:57:00Z","timestamp":1593111420000},"page":"481-495","update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving"],"prefix":"10.2514","volume":"17","author":[{"given":"Sa\u2019ed","family":"Abed","sequence":"first","affiliation":[{"name":"Kuwait University, 5969 Kuwait"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adnan","family":"Rashid","sequence":"additional","affiliation":[{"name":"National University of Sciences and Technology, Islamabad 44000, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[{"name":"National University of Sciences and Technology, Islamabad 44000, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","reference":[{"issue":"3","key":"r1","first-page":"251","volume":"172","author":"Gallington R. W.","year":"1997","journal-title":"Future Aeronautical and Space Systems"},{"key":"r2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijtst.2017.02.001"},{"key":"r3","doi-asserted-by":"publisher","DOI":"10.1109\/MIM.2004.1337910"},{"key":"r4","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-011-9546-8"},{"key":"r5","first-page":"1187","volume":"37","author":"Everaerts J.","year":"2008","journal-title":"Photogrammetry, Remote Sensing and Spatial Information Sciences"},{"key":"r6","volume-title":"Advances in Unmanned Aerial Vehicles: State of the Art and the Road to Autonomy","volume":"33","author":"Valavanis K. P.","year":"2008"},{"key":"r7","doi-asserted-by":"publisher","DOI":"10.1145\/2984450.2984459"},{"key":"r8","unstructured":"XuK. Jr. \u201cFrequency Domain System Identification of Fixed-Wing Unmanned Aerial Vehicles,\u201d Electronic Theses, Univ. of Manitoba, Feb.\u00a02014, https:\/\/mspace.lib.umanitoba.ca\/xmlui\/handle\/1993\/23942."},{"key":"r9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-561-1"},{"key":"r10","volume-title":"Flight Dynamics Principles: A Linear Systems Approach to Aircraft Stability and Control","author":"Cook M. V.","year":"2012"},{"key":"r12","doi-asserted-by":"publisher","DOI":"10.2514\/6.2000-4057"},{"key":"r13","unstructured":"WilliamsK. W. \u201cA Summary of Unmanned Aircraft Accident\/Incident Data: Human Factors Implications,\u201d Federal Aviation Administration TR DOT\/FAA\/AM-04\/24, 2004."},{"key":"r16","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2014.889853"},{"key":"r17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08422-0_35"},{"key":"r18","doi-asserted-by":"publisher","DOI":"10.1080\/01969722.2016.1263513"},{"key":"r19","volume-title":"Principles of Model Checking","volume":"950","author":"Baier C.","year":"2008"},{"key":"r20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511576430"},{"key":"r21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_17"},{"issue":"2","key":"r23","first-page":"209","volume":"17","author":"Narkawicz A.","year":"2012","journal-title":"Reliable Computing"},{"key":"r25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_15"},{"key":"r26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24270-0_17"},{"key":"r27","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0088-x"},{"key":"r28","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010178"},{"key":"r29","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2018.8511595"},{"issue":"9","key":"r31","first-page":"1947","volume":"14","author":"Chen X.","year":"2018","journal-title":"International Journal of Performability Engineering"},{"key":"r33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44659-1_6"},{"key":"r39","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-012-9250-9"},{"key":"r41","volume-title":"Hardware Verification Using Higher-Order Logic","author":"Camilleri A.","year":"1986"},{"key":"r42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22646-9"},{"key":"r44","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811326"},{"issue":"8","key":"r48","first-page":"1623","volume":"5","author":"Rashid A.","year":"2018","journal-title":"Journal of Applied Logics-IFCoLog Journal of Logics and Their Applications"},{"key":"r52","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-1023"}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:42:01Z","timestamp":1614584521000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010730"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9]]},"references-count":32,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["10.2514\/1.I010730"],"URL":"https:\/\/doi.org\/10.2514\/1.i010730","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9]]},"assertion":[{"value":"2019-02-14","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-11-21","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-02-04","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-06-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}