{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T14:04:20Z","timestamp":1771509860846,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540231769","type":"print"},{"value":"9783540301387","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30138-7_9","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T00:10:34Z","timestamp":1284855034000},"page":"101-114","source":"Crossref","is-referenced-by-count":15,"title":["Analysing Mode Confusion: An Approach Using FDR2"],"prefix":"10.1007","author":[{"given":"Bettina","family":"Buth","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Handbook of Human Factors and Ergonomics","author":"N. Sarter","year":"1997","unstructured":"Sarter, N., Woods, D., Billings, C.: Automation surprises. In: Salvendy, G. (ed.) Handbook of Human Factors and Ergonomics, 2nd edn. John Wiley and Sons, Chichester (1997)","edition":"2"},{"key":"9_CR2","unstructured":"Levevson, N.G., Pinnel, L.D., Sandys, S.D., Koga, S., Rees, J.D.: Analyzing software specifications for mode confusion potential. In: Johnson, C.W. (ed.) Proceedings of a Workshop on Human Error and System Development, Glasgow, Scotland. Glasgow Accident Analysis Group, Technical Report GAAG-TR-97-2, March 1997, pp. 132\u2013146 (1997)"},{"key":"9_CR3","unstructured":"Miller, S., Potts, J.: Detecting mode confusion through formal modeling and analysis. Technical Report NASA\/CR-1999-208971, NASA Langley Research Center (January 1999), available at: \n                    \n                      http:\/\/shemesh.larc.nasa.gov\/fm\/fm-pubs-larc.html"},{"key":"9_CR4","unstructured":"L\u00fcttgen, G., Carre\u00f1o, V.: Analyzing mode confusion via model checking. Technical Report NASA\/CR-1999-209332, ICASE Report No. 99-18, ICASE - NASA Langley Research Center (May 1999), available at: \n                    \n                      http:\/\/shemesh.larc.nasa.gov\/fm\/fm-pubs-icase.html"},{"key":"9_CR5","volume-title":"Proceedings of the 3rd Workshop on Human Error, Safety, and System Development (HESSD 1999)","author":"J. Rushby","year":"1999","unstructured":"Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. In: Javaux, D. (ed.) Proceedings of the 3rd Workshop on Human Error, Safety, and System Development (HESSD 1999). University of Liege, Belgium (1999)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety\u00a075, 167\u2013177 (2002), available at: \n                    \n                      http:\/\/www.csl.sri.com\/users\/rushby\/abstracts\/ress02","DOI":"10.1016\/S0951-8320(01)00092-8"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"D. Dill","year":"1996","unstructured":"Dill, D.: The Mur\u03c6 verification system. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102. Springer, Heidelberg (1996)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Rushby, J., Crow, J., Palmer, E.: An automated method to detect potential mode confusions. In: 18th AIAA\/IEEE Digital Avionics Systems Conference, St Louis, MO (1999)","DOI":"10.1109\/DASC.1999.863725"},{"key":"9_CR9","unstructured":"Palmer, E.: \u201cOops, it didn\u2019t arm.\u201d A case study of two automation surprises. In: Jensen, R.S., Rakovan, L.A. (eds.) Proceedings of the Eightth International Symposium on Aviation Psychology, Columbus, OH. The Aviation Psychology Department of Aerospace Engineering, Ohio State University, April 1995, pp. 227\u2013232 (1995), available at: \n                    \n                      http:\/\/human-factors.arc.nasa.gov\/IHpersonnel\/ev"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Leveson, N.G., Palmer, E.: Designing automation to reduce operator errors. In: Proceedings of the IEEE Systems, Man, and Cybernetics Conference (1997)","DOI":"10.1109\/ICSMC.1997.638104"},{"key":"9_CR11","unstructured":"Formal Systems (Europe) Lts: FDR2 User Manual (1997), Available under: \n                    \n                      http:\/\/www.formal.demon.co.uk\/fdr2manual\/index.html"},{"key":"9_CR12","unstructured":"Buth, B.: Formal and Semi-Formal Methods for the Analysis of Industrial Control Systems. BISS Monographs, vol.\u00a015 (2002) (Habilitationsschrift submitted May 2001)"},{"key":"9_CR13","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall International, Englewood Cliffs (1998)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30138-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:51:28Z","timestamp":1620013888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30138-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231769","9783540301387"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30138-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}