{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:17:18Z","timestamp":1763468238961,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319175232"},{"type":"electronic","value":"9783319175249"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17524-9_7","type":"book-chapter","created":{"date-parts":[[2015,4,7]],"date-time":"2015-04-07T06:15:31Z","timestamp":1428387331000},"page":"82-96","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Requirements Analysis of a Quad-Redundant Flight Control System"],"prefix":"10.1007","author":[{"given":"John","family":"Backes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darren","family":"Cofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael W.","family":"Whalen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,8]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Crum, V., Buffington, J., Tallant, G., Krogh, B., Plaisted, C., Prasanth, R., Bose, P., Johnson, T.: Validation verification of intelligent and adaptive control systems. In: Proceedings of the Aerospace Conference 2004. IEEE (2004)","DOI":"10.2514\/6.2003-6603"},{"key":"7_CR2","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 1st edn. Addison-Wesley Professional (2012)"},{"key":"7_CR3","unstructured":"The Software Engineering Institute: OSATE: Plug-ins for front-end processing of AADL models (2013)"},{"key":"7_CR4","series-title":"Berlin","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-642-28891-3_13","volume-title":"Proceedings of the 4th NASA Formal Methods Symposium (NFM 2012)","author":"DD Cofer","year":"2012","unstructured":"Cofer, D.D., Gacek, A., Miller, S.P., Whalen, M.W., LaValley, B., Sha, L.: Compositional verification of architectural models. In: Goodloe, A.E., Person, S. (eds.) Proceedings of the 4th NASA Formal Methods Symposium (NFM 2012). Berlin, vol. 7226, pp. 126\u2013140. Heidelberg, Springer-Verlag (2012)"},{"key":"7_CR5","unstructured":"Gacek, A., Backes, J., Whalen, M.W., Cofer, D.: AGREE Users Guide$$^3$$ (2014). http:\/\/github.com\/smaccm\/smaccm"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. In: Proceedings of the IEEE, pp. 1305\u20131320 (1991)","DOI":"10.1109\/5.97300"},{"key":"7_CR7","unstructured":"University of Iowa: Kind2: a multi-engine smt-based automatic model checker for safety properties of lustre programs (2014)"},{"key":"7_CR8","unstructured":"JKind: A Java implementation of the KIND model checker$$^4$$ (2013). http:\/\/github.com\/agacek\/jkind"},{"key":"7_CR9","unstructured":"Hueschen, R.M.: Development of the transport class model (TCM) aircraft simulation from a sub-scale generic transport model (GTM) simulation. NASA Technical Report (2011)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Brat, G., Bushnell, D., Davies, M., Giannakopoulou, D., Howar, F., Kahsai, T.: Verifying the saftety of a flight-critical system. NASA Technical Report (2015)","DOI":"10.1007\/978-3-319-19249-9_20"},{"key":"7_CR11","unstructured":"Cooper, G., Harper, R.: The use of pilot rating in the evaluation of aircraft handling qualities. NASA Technical Report (1969)"},{"key":"7_CR12","unstructured":"Dutertre, B., de Moura, L.: The Yices SMT solver. SRI International Tech Report (2006)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Gacek, A., Katis, A., Whalen, M., Backes, J., Cofer, D.: Towards realizability checking for contracts using theories. In: NASA Formal Methods Symposium (2015)","DOI":"10.1007\/978-3-319-17524-9_13"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Caspi, P., Mazuet, C., Paligot, N.R.: About the design of distributed control systems, the quasi-synchronous approach (2001)","DOI":"10.1007\/3-540-45416-0_21"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17524-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T19:51:41Z","timestamp":1674849101000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17524-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319175232","9783319175249"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17524-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}