{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:56:17Z","timestamp":1742982977940,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319572871"},{"type":"electronic","value":"9783319572888"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57288-8_25","type":"book-chapter","created":{"date-parts":[[2017,4,8]],"date-time":"2017-04-08T06:45:05Z","timestamp":1491633905000},"page":"342-356","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning About Safety-Critical Information Flow Between Pilot and Computer"],"prefix":"10.1007","author":[{"given":"Seth","family":"Ahrenbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,9]]},"reference":[{"key":"25_CR1","unstructured":"Ahrenbach, S., Goodloe, A.: Formal analysis of pilot error using agent safety logic. In: Innovations in Systems and Software Engineering (submitted)"},{"key":"25_CR2","unstructured":"Barras, B., Boutin, S., Cornes, C., Courant, J., Filliatre, J.C., Gimenez, E., Herbelin, H., Huet, G., Munoz, C., Murthy, C., Parent, C.: The Coq proof assistant reference manual: version 6.1 (Doctoral dissertation, Inria) (1997)"},{"key":"25_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)"},{"key":"25_CR4","unstructured":"Bureau d\u2019Enqu\u00eates et d\u2019Analyses: Final report on the accident on 1st June 2009 to the Airbus A330-203 registered F-GZCP operated by Air France flight AF 447 Rio de Janeiro-Paris. BEA, Paris (2012)"},{"key":"25_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, New York (2011)"},{"issue":"4","key":"25_CR6","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1111\/1467-8586.00134","volume":"53","author":"H Ditmarsch Van","year":"2001","unstructured":"Van Ditmarsch, H.: Knowledge games. Bull. Econ. Res. 53(4), 249\u2013273 (2001)","journal-title":"Bull. Econ. Res."},{"key":"25_CR7","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"2003","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. The MIT Press, Cambridge (2003)"},{"key":"25_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"25_CR9","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"25_CR10","volume-title":"Fuzzy Sets and Fuzzy Logic","author":"G Klir","year":"1995","unstructured":"Klir, G., Yuan, B.: Fuzzy Sets and Fuzzy Logic, vol. 4. Prentice Hall, New Jersey (1995)"},{"issue":"1\u20132","key":"25_CR11","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10472-006-9042-1","volume":"48","author":"P Lescanne","year":"2006","unstructured":"Lescanne, P.: Mechanizing common knowledge logic using COQ. Ann. Math. Artif. Intell. 48(1\u20132), 15\u201343 (2006). APA","journal-title":"Ann. Math. Artif. Intell."},{"key":"25_CR12","unstructured":"Malikovi\u0107, M., \u010cubrilo, M.: Modeling epistemic actions in dynamic epistemic logic using Coq. In: CECIIS 2010 (2010)"},{"issue":"8","key":"25_CR13","first-page":"616","volume":"2","author":"M Malikovi\u0107","year":"2011","unstructured":"Malikovi\u0107, M., \u010cubrilo, M.: Reasoning about epistemic actions and knowledge in multi-agent systems using Coq. Comput. Technol. Appl. 2(8), 616\u2013627 (2011)","journal-title":"Comput. Technol. Appl."},{"key":"25_CR14","unstructured":"National Transportation Safety Board: Descent below visual glidepath and impact with Seawall Asiana Flight 214, Boeing 777-200ER, HL 7742, San Francisco, California, 6 July 2013 (Aircraft Accident Report NTSB\/AAR-14\/01). NTSB, Washington, DC (2014)"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57288-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T09:28:57Z","timestamp":1658914137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57288-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319572871","9783319572888"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57288-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"9 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Moffett Field","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 May 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 May 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ti.arc.nasa.gov\/events\/nfm-2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}