{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T02:26:04Z","timestamp":1772850364152,"version":"3.50.1"},"reference-count":16,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"12","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.2514\/1.i010876","type":"journal-article","created":{"date-parts":[[2020,10,31]],"date-time":"2020-10-31T14:15:16Z","timestamp":1604153716000},"page":"695-699","update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":5,"title":["Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker"],"prefix":"10.2514","volume":"17","author":[{"given":"Ranjani","family":"Krishnan","sequence":"first","affiliation":[{"name":"Vikram Sarabhai Space Centre, Trivandrum 695 022, Kerala, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. R.","family":"Lalithambika","sequence":"additional","affiliation":[{"name":"Indian Space Research Organisation Headquarters, Bengaluru 560 231, Karnataka, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","reference":[{"key":"r1","volume-title":"MIL-STD-1553 Designer\u2019s Guide","year":"1998","edition":"6"},{"key":"r2","volume-title":"The SPIN Model Checker, Primer and Reference Manual","author":"Holtzman G. J.","year":"2003"},{"key":"r4","unstructured":"LuY. \u201cProbabilistic Verification of Satellite Systems for Mission Critical Applications,\u201d Ph.D. Thesis, Univ. of Glasgow, Glasgow, 2016."},{"key":"r5","doi-asserted-by":"crossref","unstructured":"CafallD. S. \u201cFormal Specification and Run-Time Monitoring Within the Ballistic Missile Defense Project,\u201d Naval Postgraduate School TR NPS-CS-05-007, Monterey, CA, 2005.","DOI":"10.21236\/ADA436597"},{"key":"r6","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010393"},{"key":"r7","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010471"},{"key":"r12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19458-5_5"},{"key":"r13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45943-1_12"},{"key":"r14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2712621"},{"key":"r15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2694423"},{"key":"r18","doi-asserted-by":"crossref","unstructured":"SahaI.RoyS., A Finite State Modelling of AFDX Frame Management Using SPIN, LNCS 4346, Springer-Verlag, Berlin, 2007, pp.\u00a0227\u2013243. 10.1007\/978-3-540-70952-7_15","DOI":"10.1007\/978-3-540-70952-7_15"},{"key":"r19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48234-2_9"},{"key":"r20","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010408"},{"key":"r24","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-6594"},{"key":"r25","doi-asserted-by":"publisher","DOI":"10.1109\/32.940728"},{"key":"r27","unstructured":"ACE\/Mini-ACE Series BC\/RT\/MT Advanced Communication Engine Integrated 1553 Terminal User\u2019s Guide, REV M, Data Device Corp., New York, June 2007, pp.\u00a01\u2013178."}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:29:47Z","timestamp":1614583787000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010876"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12]]},"references-count":16,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["10.2514\/1.I010876"],"URL":"https:\/\/doi.org\/10.2514\/1.i010876","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12]]},"assertion":[{"value":"2020-07-02","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-09-30","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-10-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-10-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}