{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:01:32Z","timestamp":1725487292108},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401179"},{"type":"electronic","value":"9783540448297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44829-2_3","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:01:40Z","timestamp":1183478500000},"page":"34-48","source":"Crossref","is-referenced-by-count":11,"title":["Formal Modeling and Analysis of an Avionics Triplex Sensor Voter"],"prefix":"10.1007","author":[{"given":"Samar","family":"Dajani-Brown","sequence":"first","affiliation":[]},{"given":"Darren","family":"Cofer","sequence":"additional","affiliation":[]},{"given":"Gary","family":"Hartmann","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Pratt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,4,15]]},"reference":[{"key":"3_CR1","unstructured":"P. Kurzhals, et al, \u201cIntegrity in Electronic Flight Control Systems\u201d, AGARDo-graph No. 224, April 1977. (available through National Technical Information Service, Springfield, VA)"},{"key":"3_CR2","unstructured":"T. Cunningham, et al, \u201cFault Tolerance Design and Redundancy Management Techniques\u201d, NATO AGARD Lecture Series No. 109. Sept 1980. (available through National Technical Information Service, Spring field, VA) see especially Chapter 3: Computer Based In-flight Monitoring; Chapter 7: Failure Management for Saab Viggen JA-37 Aircraft; Chapter 8: Flight Experience with Flight Control Redundancy Management"},{"key":"3_CR3","unstructured":"G. Belcher, D. McIver and K. Szalai, \u201cValidation of Flight Critical Control Systems\u201d, AGARD Advisory Report No. 274, Dec 1991. (available through National Technical Information Service, Springfield, VA)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"S. Osder, \u201cPractical View of Redundancy Management Application and Theory\u201d, Journal of Guidance and Control, Vol. 22 No. 1, Jan\u2013Feb 1999.","DOI":"10.2514\/2.4363"},{"key":"3_CR5","volume-title":"Introduction to Avionics","author":"R. P. G. Collinson","year":"1998","unstructured":"R. P. G. Collinson, Introduction to Avionics, Chapman & Hall, London, 1998."},{"key":"3_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. McMillan","year":"1993","unstructured":"K. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Boston, Dordrecht, London, 1993."},{"key":"3_CR7","volume-title":"Logic in Computer Science Modelling and reasoning about systems","author":"M. R. A. Huth","year":"2000","unstructured":"Micheal R A Huth and Mark D Ryan, Logic in Computer Science Modelling and reasoning about systems, University Press, Cambridge, United Kingdom, 2000."},{"key":"3_CR8","unstructured":"SMV web page: \n                  http:\/\/www-2.cs.cmu.edu\/modelcheck"},{"key":"3_CR9","unstructured":"sf2smv web page: \n                  http:\/\/www.ece.cmu.edu\/webk\/sf2smv"},{"key":"3_CR10","unstructured":"Checkmate web page: \n                  http:\/\/www.ece.cmu.edu\/webk\/checkmate"},{"key":"3_CR11","unstructured":"Simulink weg page: \n                  http:\/\/www.mathworks.com\/products\/simulink"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44829-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T18:39:41Z","timestamp":1550687981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44829-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401179","9783540448297"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-44829-2_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}