{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T21:53:47Z","timestamp":1758405227900},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642036545"},{"type":"electronic","value":"9783642036552"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03655-2_59","type":"book-chapter","created":{"date-parts":[[2009,8,17]],"date-time":"2009-08-17T11:55:07Z","timestamp":1250510107000},"page":"528-531","source":"Crossref","is-referenced-by-count":4,"title":["Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking"],"prefix":"10.1007","author":[{"given":"Florian","family":"Frische","sequence":"first","affiliation":[]},{"given":"Tomasz","family":"Mistrzyk","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"L\u00fcdtke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"59_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-70816-2_9","volume-title":"Task Models and Diagrams for Users Interface Design","author":"R. Bastide","year":"2007","unstructured":"Bastide, R., Basnyat, S.: Error patterns: Systematic investigation of deviations in task models. In: Coninx, K., Luyten, K., Schneider, K.A. (eds.) TAMODIA 2006. LNCS, vol.\u00a04385, pp. 109\u2013121. Springer, Heidelberg (2007)"},{"key":"59_CR2","doi-asserted-by":"crossref","unstructured":"Basuki, T.A., Cerone, A., Griesmayer, A., Schlatte, R.: Model-checking user behaviour using interacting components. Journal of Formal Aspects of Computing (FACS), Springer (2009)","DOI":"10.1007\/s00165-008-0101-8"},{"key":"59_CR3","unstructured":"Fields, R.E.: Analysis of erroneous actions in the design of critical systems, University of York (2001)"},{"key":"59_CR4","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/235833.236050","volume":"3","author":"B.E. John","year":"1996","unstructured":"John, B.E., Kieras, D.E.: Using GOMS for user interface design and evaluation: which technique? ACM Trans. Comput.-Hum. Interact.\u00a03, 287\u2013319 (1996)","journal-title":"ACM Trans. Comput.-Hum. Interact."},{"key":"59_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-3-540-85992-5_8","volume-title":"Engineering Interactive Systems","author":"M. Giese","year":"2008","unstructured":"Giese, M., Mistrzyk, T., Pfau, A., Szwillus, G., von Detten, M.: AMBOSS: A Task Modeling Approach for Safety-Critical Systems. In: Forbrig, P., Patern\u00f2, F. (eds.) HCSE\/TAMODIA 2008. LNCS, vol.\u00a05247, pp. 98\u2013109. Springer, Heidelberg (2008)"},{"key":"59_CR6","unstructured":"Lu, S., Paris, C., Vander Linden, K.: Tamot: Towards a Flexible Task Modeling Tool. In: The Proceedings of Human Factors, Melbourne, Australia, pp. 25\u201327 (2002)"},{"issue":"8","key":"59_CR7","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1109\/TSE.2002.1027801","volume":"28","author":"G. Mori","year":"2002","unstructured":"Mori, G., Patern\u00f2, F., Santoro, C.: CTTE: support for developing and analyzing task models for interactive-system design. IEEE Transactions on Software Engineering, Bde.\u00a028(8), 797\u2013813 (2002)","journal-title":"IEEE Transactions on Software Engineering, Bde."},{"key":"59_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-77222-4_12","volume-title":"Task Models and Diagrams for User Interface Design","author":"D. Navarre","year":"2007","unstructured":"Navarre, D., Palanque, P.A., Barboni, E., Mistrzyk, T.: On the benefit of synergistic model-based approach for safety critical interactive system testing. In: Winckler, M., Johnson, H., Palanque, P. (eds.) TAMODIA 2007. LNCS, vol.\u00a04849, pp. 140\u2013154. Springer, Heidelberg (2007)"},{"key":"59_CR9","unstructured":"UPPAAL. Project homepage, http:\/\/www.uppaal.com"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction \u2013 INTERACT 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03655-2_59","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T01:39:06Z","timestamp":1558489146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03655-2_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642036545","9783642036552"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03655-2_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}