{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,13]],"date-time":"2024-01-13T00:21:35Z","timestamp":1705105295397},"reference-count":33,"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":[[2016,9]]},"DOI":"10.2514\/1.i010408","type":"journal-article","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T11:14:51Z","timestamp":1470395691000},"page":"357-369","update-policy":"http:\/\/dx.doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":10,"title":["Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff"],"prefix":"10.2514","volume":"13","author":[{"given":"Sweewarman","family":"Balachandran","sequence":"first","affiliation":[{"name":"University of Michigan, Ann Arbor, Michigan 48109"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Necmiye","family":"Ozay","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, Michigan 48109"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ella M.","family":"Atkins","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, Michigan 48109"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","reference":[{"key":"r2","doi-asserted-by":"publisher","DOI":"10.2514\/1.C031500"},{"issue":"4","key":"r3","first-page":"768","volume":"32","author":"Milligan M. W.","year":"1995","journal-title":"Journal of Guidance, Control, and Dynamics","ISSN":"http:\/\/id.crossref.org\/issn\/0731-5090","issn-type":"print"},{"key":"r6","doi-asserted-by":"publisher","DOI":"10.2514\/3.20237"},{"key":"r7","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"r8","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010350"},{"key":"r11","unstructured":"SokolowskiJ. A.BanksC. M.PettyM. D., Principles of Modeling and Simulation: A Multidisciplinary Approach, Wiley, Hoboken, NJ, 2008, pp.\u00a0121\u2013147, Chap.\u00a06."},{"key":"r13","unstructured":"BaierC.KatoenJ. P., Principles of Model Checking, Vol.\u00a026202649, MIT Press, Cambridge, MA, 2008, pp.\u00a019\u201382, Chap.\u00a02."},{"key":"r14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_92"},{"key":"r16","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2004.1365014"},{"key":"r18","unstructured":"JoshiA.HeimdahlM. P. E.MillerS. P.WhalenM. W. \u201cModel-Based Safety Analysis,\u201d NASA CR-2006-213953, May\u00a02006, http:\/\/shemesh.larc.nasa.gov\/fm\/papers\/Joshi-CR-2006-213953-Model-Based-SA.pdf [retrieved 10\u00a0Sept.\u00a02014]."},{"key":"r21","doi-asserted-by":"publisher","DOI":"10.1518\/0018720024494838"},{"key":"r22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2109709"},{"key":"r23","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"r24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5_2"},{"key":"r25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"r26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"r27","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_27"},{"key":"r28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"r31","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-006"},{"key":"r32","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"r33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7_3"},{"key":"r34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"},{"key":"r39","unstructured":"McRuerD. T.KrendelE. S. \u201cMathematical Models of Human Pilot Behavior,\u201d Distributed by National Technical Information Service (NTIS)\u00a0AGARD-AG-188, Sprinfield, VA, 1974."},{"key":"r40","unstructured":"RoskamJ.LanC. T. E., Airplane Aerodynamics and Performance, DARcorporation, Lawrence, KS, 1997, pp.\u00a0435\u2013507, Chap.\u00a010."},{"key":"r41","doi-asserted-by":"publisher","DOI":"10.2514\/2.4169"},{"key":"r43","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"r45","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"r46","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_6"},{"key":"r47","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2168874"},{"key":"r48","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"r49","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410300190X"},{"key":"r50","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_5"},{"key":"r51","unstructured":"RankinJ. \u201cBifurcation Analysis of Nonlinear Ground Handling of Aircraft,\u201d Ph.D. Dissertation, Univ. of Bristol, Bristol, England, U.K. 2010."}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:22:33Z","timestamp":1614583353000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010408"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":33,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["10.2514\/1.I010408"],"URL":"https:\/\/doi.org\/10.2514\/1.i010408","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9]]},"assertion":[{"value":"2015-06-18","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-04-16","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-05-19","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-08-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}