{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T21:06:41Z","timestamp":1740172001162,"version":"3.37.3"},"reference-count":51,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"7","license":[{"start":{"date-parts":[[2021,5,26]],"date-time":"2021-05-26T00:00:00Z","timestamp":1621987200000},"content-version":"am","delay-in-days":329,"URL":"https:\/\/www.aiaa.org\/userlicenses\/1.0\/#CompEndUserLicense"}],"funder":[{"DOI":"10.13039\/100000104","name":"National Aeronautics and Space Administration","doi-asserted-by":"publisher","award":["NNX15AQ84G"],"award-info":[{"award-number":["NNX15AQ84G"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["1552934"],"award-info":[{"award-number":["1552934"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.2514\/1.i010769","type":"journal-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T10:34:06Z","timestamp":1590489246000},"page":"322-335","update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":3,"title":["Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks"],"prefix":"10.2514","volume":"17","author":[{"given":"Rohit","family":"Dureja","sequence":"first","affiliation":[{"name":"Iowa State University, Ames, Iowa 50011"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristin Yvonne","family":"Rozier","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, Iowa 50011"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","reference":[{"key":"r2","doi-asserted-by":"publisher","DOI":"10.2514\/6.2017-3112"},{"key":"r7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93557-7_2"},{"key":"r10","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2011-0426"},{"key":"r11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70936-7_29"},{"key":"r13","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxt045"},{"key":"r14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14992-4_13"},{"key":"r18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.04.002"},{"key":"r22","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-014-9408-8"},{"key":"r24","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-007-0008-2"},{"key":"r25","doi-asserted-by":"publisher","DOI":"10.1007\/11916246_16"},{"key":"r26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_15"},{"key":"r27","doi-asserted-by":"publisher","DOI":"10.1109\/32.708566"},{"key":"r29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_54"},{"key":"r30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17462-0_25"},{"key":"r36","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"r38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89960-2_17"},{"key":"r40","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"r41","unstructured":"CavadaR.CimattiA.JochimA. C.KeighrenG.OlivettiE.PistoreM.RoveriM.TchaltsevA. \u201cNuSMV 2.4 User Manual,\u201d CMU\/ITC-irst, Tech. Rept., Trento, Italy, 2005."},{"key":"r42","unstructured":"BozzanoM.CavadaR.CimattiA.DorigattiM.GriggioA.MariottiA.MicheliA.MoverS.RoveriM.TonettaS. \u201cnuXmv 2.0 User Manual,\u201d Fondazione Bruno Kessler, Tech. Rept. Trento, Italy, 2019."},{"key":"r44","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45732-1_27"},{"key":"r47","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0173-6"},{"key":"r48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71067-7_2"},{"key":"r49","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.67"},{"key":"r50","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.03.005"},{"key":"r51","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2012.03.021"},{"key":"r53","unstructured":"McMillanK. \u201cThe SMV Language,\u201d Cadence Berkeley Labs., Tech. Rept., Berkeley, CA, 1999."},{"key":"r54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_45"},{"key":"r55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"r56","unstructured":"ChangR.et\u00a0al. \u201cSatCarrier CONOPS: A Concept of Operations for Satellite Carriers,\u201d AIAA, Tech. Rept. Reston, VA, 2009."},{"key":"r57","doi-asserted-by":"publisher","DOI":"10.1243\/09544100JAERO546"},{"key":"r58","doi-asserted-by":"publisher","DOI":"10.2514\/6.2011-1516"},{"key":"r59","unstructured":"MindockJ.ReillyJ.UrbinaM.RubinD.HaileyM.ReyesD.HansonA.BurbaT.CerroJ.McGuireK.MiddourC. \u201cExploration Medical Capability ConOps and Systems Engineering Technical Interchange Meeting Summary,\u201d NASA Johnson Space Center, JSC-CN-39099, Houston, TX, 2017, https:\/\/ntrs.nasa.gov\/archive\/nasa\/casi.ntrs.nasa.gov\/20170002573.pdf [retrieved 20 May 2020]."},{"key":"r60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"r61","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.002"},{"key":"r64","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.011"},{"key":"r68","first-page":"139","volume-title":"Embedded Systems Development","author":"Graf S.","year":"2013"},{"key":"r69","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2453253"},{"key":"r70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11936-6_7"},{"key":"r72","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_31"},{"key":"r76","doi-asserted-by":"publisher","DOI":"10.1147\/rd.524.0413"},{"key":"r78","first-page":"22","volume-title":"Proceedings of the 10th USENIX Conference on File and Storage Technologies","author":"Tarasov V.","year":"2012"},{"key":"r82","doi-asserted-by":"publisher","DOI":"10.1145\/176979.176981"},{"key":"r84","volume-title":"Lectures in Abstract Algebra: III. Theory of Fields and Galois Theory","volume":"32","author":"Jacobson N.","year":"2012"},{"key":"r86","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2473"},{"key":"r87","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-004-0312-y"},{"key":"r89","doi-asserted-by":"publisher","DOI":"10.1145\/293411.293443"},{"key":"r90","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2008.09.005"},{"key":"r92","doi-asserted-by":"publisher","DOI":"10.5815\/ijwmt.2017.02.03"},{"key":"r93","volume-title":"The Theory of Algorithms","volume":"15","author":"Markov A. A.","year":"1960"},{"key":"r94","volume-title":"Simulation Modeling and Analysis","author":"Law A. M.","year":"1999","edition":"3"},{"key":"r95","first-page":"39","volume":"55","author":"Abramowitz M.","year":"1966","journal-title":"Applied Mathematics Series"}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arc.aiaa.org\/doi\/am-pdf\/10.2514\/1.I010769","content-type":"application\/pdf","content-version":"am","intended-application":"unspecified"},{"URL":"https:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010769","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:21:19Z","timestamp":1614583279000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010769"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":51,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["10.2514\/1.I010769"],"URL":"https:\/\/doi.org\/10.2514\/1.i010769","relation":{},"ISSN":["2327-3097"],"issn-type":[{"type":"electronic","value":"2327-3097"}],"subject":[],"published":{"date-parts":[[2020,7]]},"assertion":[{"value":"2019-06-17","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-01-21","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-04-22","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-05-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}