{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T21:06:38Z","timestamp":1740171998134,"version":"3.37.3"},"reference-count":43,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"11","funder":[{"DOI":"10.13039\/100006199","name":"Langley Research Center","doi-asserted-by":"publisher","award":["#NNL14AA08C"],"award-info":[{"award-number":["#NNL14AA08C"]}],"id":[{"id":"10.13039\/100006199","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000104","name":"NASA","doi-asserted-by":"crossref","award":["#NNL14AA08C"],"award-info":[{"award-number":["#NNL14AA08C"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.2514\/1.i010598","type":"journal-article","created":{"date-parts":[[2018,10,22]],"date-time":"2018-10-22T14:37:13Z","timestamp":1540219033000},"page":"640-664","update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":0,"title":["Language for Unified Verification and Implementation for Distributed Avionics"],"prefix":"10.2514","volume":"15","author":[{"given":"Benjamin F.","family":"Jones","sequence":"first","affiliation":[]},{"given":"Lee","family":"Pike","sequence":"additional","affiliation":[]},{"given":"Srivatsan","family":"Varadarajan","sequence":"additional","affiliation":[]},{"given":"Brendan","family":"Hall","sequence":"additional","affiliation":[]}],"member":"1387","reference":[{"key":"r1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-1882"},{"key":"r2","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-011-0142-7"},{"key":"r4","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2009.5109949"},{"key":"r5","unstructured":"RushbyJ. \u201cPartitioning in Avionics Architectures: Requirements, Mechanisms, And Assurance,\u201d NASA Langley Research Center CR-1999-209347, Hampton VA, 2000."},{"key":"r8","unstructured":"FeilerP. H.GluchD. P.HudakJ. J. \u201cThe Architecture Analysis & Design Language (AADL): An Introduction,\u201d Software Engineering Inst. Carnegie Mellon Univ. TR\u00a0CMU\/SEI-2006-TN-011, Pittsburgh, PA, 2006."},{"key":"r9","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-24590-1_12"},{"key":"r10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_15"},{"volume-title":"A Practical Guide to SysML: The Systems Modeling Language","year":"2011","author":"Friedenthal S.","key":"r11"},{"key":"r12","doi-asserted-by":"publisher","DOI":"10.1145\/1103846.1103847"},{"key":"r13","doi-asserted-by":"publisher","DOI":"10.1016\/j.engfailanal.2010.09.025"},{"issue":"2","key":"r14","first-page":"90","volume":"39","author":"Liu J. J.","year":"2009","journal-title":"Aeronautical Computing Technique"},{"key":"r15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23496-5_18"},{"key":"r18","unstructured":"FeilerP. H.GluchD. P.HudakJ. J. \u201cThe Architecture Analysis & Design Language (AADL): An Introduction,\u201d Software Engineering Inst., Carnegie Mellon Univ. TR\u00a0CMU\/SEI-2006-TN-011,  Pittsburgh, PA, 2006."},{"key":"r20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_18"},{"key":"r26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_31"},{"key":"r29","first-page":"1783","volume":"655","author":"Gong Q.","year":"2013","journal-title":"Advanced Materials Research"},{"key":"r37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21470-7_17"},{"key":"r38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_13"},{"volume-title":"MATLAB und Simulink (Scientific Computing)","year":"2006","author":"Beucher O.","key":"r40"},{"key":"r41","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"r42","unstructured":"ScattergoodB. \u201cThe Semantics and Implementation of Machine-Readable CSP,\u201d Ph.D. Thesis, Queen\u2019s College, Oxford, 1998."},{"volume-title":"Concurrency State Models & Java Programming","year":"2006","author":"Magee J.","key":"r44"},{"volume-title":"Communicating Process Architecture","year":"2005","author":"Gardner W. B.","key":"r45"},{"key":"r46","unstructured":"DaviesT. \u201cCSP Implementation Techniques: A Critical Analysis,\u201d Master\u2019s Thesis, Swansea Univ., Swansea, Whales, U.K. 2012."},{"key":"r47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_52"},{"volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","year":"2002","author":"Lamport L.","key":"r49"},{"key":"r52","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_4"},{"key":"r54","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"r55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_15"},{"key":"r57","series-title":"LNCS","volume-title":"CAV","author":"Bloem R.","year":"2016"},{"key":"r58","doi-asserted-by":"publisher","DOI":"10.1145\/1168917.1168907"},{"key":"r60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33536-5_11"},{"key":"r61","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55602-8_217"},{"key":"r62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_13"},{"key":"r66","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"r68","unstructured":"LynchN. A., Distributed Algorithms, Morgan Kaufmann Publishers Inc., San Francisco, 1996, pp.\u00a015\u201324."},{"key":"r69","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39878-3_19"},{"issue":"1","key":"r71","first-page":"255","volume":"13","author":"Jones S. P.","year":"2003","journal-title":"Journal of Functional Programming","ISSN":"https:\/\/id.crossref.org\/issn\/0956-7968","issn-type":"print"},{"key":"r78","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30142-4_19"},{"key":"r79","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33296-8_1"},{"key":"r80","unstructured":"CIAIAC, \u201cFailure of Braking, Accident Occurred on 21 May 1998 to Aircraft Airbus A-320-212 Registration G-UKLL at Ibiza Airport, Balearic Islands,\u201d Civil Aviation Accident and Incident Investigation Commission (CIAIAC) TR\u00a0A-19\/98, Spain, 2006, http:\/\/www.fss.aero\/accident-reports\/dvdfiles\/ES\/1998-05-21-ES.pdf."},{"key":"r81","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"volume-title":"MJRTY\u2014A Fast Majority Vote Algorithm","year":"1982","author":"Boyer R. S.","key":"r82"}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010598","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:22:08Z","timestamp":1614583328000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010598"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":43,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["10.2514\/1.I010598"],"URL":"https:\/\/doi.org\/10.2514\/1.i010598","relation":{},"ISSN":["2327-3097"],"issn-type":[{"type":"electronic","value":"2327-3097"}],"subject":[],"published":{"date-parts":[[2018,11]]},"assertion":[{"value":"2017-07-24","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-07-12","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-08-29","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-10-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}