{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:29:22Z","timestamp":1755217762090,"version":"3.43.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,9,1]],"date-time":"2001-09-01T00:00:00Z","timestamp":999302400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,9,1]],"date-time":"2001-09-01T00:00:00Z","timestamp":999302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[2001,9]]},"DOI":"10.1023\/a:1011232016683","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T04:18:21Z","timestamp":1040617101000},"page":"143-164","source":"Crossref","is-referenced-by-count":6,"title":["Using Hybrid Automata to Support Human Factors Analysis in a Critical System"],"prefix":"10.1007","volume":"19","author":[{"given":"G.","family":"Doherty","sequence":"first","affiliation":[]},{"given":"M.","family":"Massink","sequence":"additional","affiliation":[]},{"given":"G.","family":"Faconti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"336115_CR1","first-page":"261","volume":"18","author":"H. Bowman","year":"1998","unstructured":"H. Bowman, G.P. Faconti, and M. Massink, \u201cSpecification and verification of media constraints using UPPAAL,\u201d in [18], 1998, pp. 261\u2013277.","journal-title":"Specification and verification of media constraints using UPPAAL"},{"key":"336115_CR2","first-page":"109","volume-title":"Design, Specification, andVerification of Interactive Systems, Proceedings of the Eurographics Workshop","author":"J.C. Campos","year":"1997","unstructured":"J.C. Campos and M.D. Harrison, \u201cFormally verifying interactive systems: A review,\u201d in M. Harrison and J. Torres (Eds.), Design, Specification, andVerification of Interactive Systems, Proceedings of the Eurographics Workshop, Eurographic Books Series, Springer, Granada, Spain, 1997, pp. 109\u2013124."},{"key":"336115_CR3","doi-asserted-by":"crossref","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine, \u201cThe tool KRONOS,\u201d in Hybrid Systems III, Verification and Control, Vol. 1066 of Lecture Notes in Computer Science, Springer, 1996, pp. 208\u2013219.","DOI":"10.1007\/BFb0020947"},{"key":"336115_CR4","first-page":"138","volume-title":"SAFECOMP 97: Proceedings of the 16th International Conference Computer Safety, Reliability and Security","author":"A. Dearden","year":"1997","unstructured":"A. Dearden and M. Harrison, \u201cUsing executable interactor specifications to explore the impact of operator interaction error,\u201d in P. Daniel (Ed.), SAFECOMP 97: Proceedings of the 16th International Conference Computer Safety, Reliability and Security, Springer, York, U.K., 1997, pp. 138\u2013147."},{"volume-title":"Task Analysis for Human-Computer Interaction, Ellis Horwood Books in Information Technology","year":"1989","key":"336115_CR5","unstructured":"D. Diaper (Ed.), Task Analysis for Human-Computer Interaction, Ellis Horwood Books in Information Technology, Ellis Horwood, Chichester, 1989."},{"key":"336115_CR6","volume-title":"Formal Methods for Interactive Systems","author":"A. Dix","year":"1991","unstructured":"A. Dix, Formal Methods for Interactive Systems, Academic Press, London, U.K., 1991."},{"key":"336115_CR7","unstructured":"G. Doherty, \u201cA Pragmatic Approach to the Formal Specification of Interactive Systems,\u201d D.Phil. Thesis, Department of Computer Science, University of York, 1998."},{"issue":"4","key":"336115_CR8","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1207\/s15327051hci1304_1","volume":"13","author":"D. Duke","year":"1998","unstructured":"D. Duke, P. Barnard, J. May, and D. Duce, \u201cSyndetic modelling,\u201d Human Computer Interaction, Vol. 13, No. 4, pp. 337\u2013393, 1998.","journal-title":"Human Computer Interaction"},{"key":"336115_CR9","first-page":"73","volume-title":"Design, Specification and Verification of Interactive Systems'96, Proceedings of the Eurographics Workshop","author":"G. Faconti","year":"1996","unstructured":"G. Faconti and D. Duke, \u201cDevice Models,\u201d in F. Bodart and J. Vanderdonckt (Eds.), Design, Specification and Verification of Interactive Systems'96, Proceedings of the Eurographics Workshop, Eurographics Books Series, Springer, Namur, Belgium, 1996, pp. 73\u201391."},{"key":"336115_CR10","first-page":"41","volume":"18","author":"R.E. Fields","year":"1998","unstructured":"R.E. Fields and N.A. Merriam, \u201cInference and information resources: A design case study,\u201d in [18], 1998, pp. 41\u201356.","journal-title":"Inference and information resources: A design case study"},{"issue":"1\u20134","key":"336115_CR11","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF01530742","volume":"11","author":"G. Friedrich","year":"1994","unstructured":"G. Friedrich, G. Gottlob, and W. Nejdl, \u201cFormalizing the repair process\u2014extended report,\u201d Annals of Mathematics and Artificial Intelligence, Vol. 11, Nos. 1\u20134, pp. 187\u2013201, 1994. Special Issue on Principles of Model-Based Diagnosis, Baltzer Science Publishers.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"336115_CR12","first-page":"49","volume":"896","author":"M.D. Harrison","year":"1995","unstructured":"M.D. Harrison and D. Duke, \u201cA review of formalisms for describing interactive behaviour,\u201d in R. Taylor and J. Coutaz (Eds.), Workshop on Software Engineering and Human Computer Interaction: Joint Research Issues, Proceedings of the ICSE'94 Workshop, Sorrento, Italy, Lecture Notes in Computer Science, Vol. 896, Springer-Verlag, 1995, pp. 49\u201375.","journal-title":"Workshop on Software Engineering and Human Computer Interaction: Joint Research Issues, Proceedings of the ICSE'94 Workshop, Sorrento, Italy"},{"key":"336115_CR13","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proceedings of 11th Annual IEEE Symposium on Logic in Computer Science","author":"T.A. Henzinger","year":"1996","unstructured":"T.A. Henzinger, \u201cThe theory of hybrid automata,\u201d in Proceedings of 11th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, New Brunswick, New Jersey, USA, 1996, pp. 278\u2013292."},{"key":"336115_CR14","first-page":"110","volume":"1254","author":"T.A. Henzinger","year":"1997","unstructured":"T.A. Henzinger, P.H. Ho, and H. Wong-Toi, \u201cHyTech: A model checker for Hybrid Systems,\u201d in O. Grumberg (Ed.), Computer Aided Verification, Proceedings of CAV'97, Haifa, Israel, Vol. 1254 of Lecture Notes in Computer Science, Springer-Verlag, 1997, pp. 110\u2013122.","journal-title":"Computer Aided Verification, Proceedings of CAV'97, Haifa, Israel"},{"key":"336115_CR15","volume-title":"Human Reliability Assessment, Context and Control","author":"E. Hollnagel","year":"1993","unstructured":"E. Hollnagel, Human Reliability Assessment, Context and Control, Academic Press, London, 1993."},{"key":"336115_CR16","unstructured":"P. Jensen, M. S\u00f8rensen, J. Gravgaard, and P. Christensen, \u201cUsing autograph to create input for hytech.\u201d Available from http:\/\/www.docs.uu.se\/docs\/rtmv\/upaal\/."},{"issue":"1","key":"336115_CR17","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K. Larsen","year":"1997","unstructured":"K. Larsen, P. Pettersson, and W. Yi, \u201cUPPAAL in a nutshell,\u201d International Journal on Software Tools for Technology Transfer, Vol. 1, No. 1, pp. 134\u2013152, 1997.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"336115_CR18","doi-asserted-by":"crossref","unstructured":"P. Markopoulos and P. Johnson (Eds.), Design, Specification and Verification of Interactive Systems, Proceedings of the 5th Eurographics Workshop, Abingdon, U.K., Eurographics Book Series, Springer, 1998","DOI":"10.1007\/978-3-7091-3693-5"},{"key":"336115_CR19","first-page":"227","volume-title":"Proceedings of the Eighth International Symposium on Aviation Psychology","author":"E. Palmer","year":"1995","unstructured":"E. Palmer, \u201cOops, it didn't arm\u2014a case study of two automation surprises,\u201d in R.S. Jensen and L.A. Rakovan (Eds.), Proceedings of the Eighth International Symposium on Aviation Psychology, Ohio State University, Columbus, Ohio, 1995, pp. 227\u2013232."},{"key":"336115_CR20","volume-title":"Proceedings of the 3rdWorkshop on Human Error, Safety and System Development (HESSD'99)","author":"J. Rushby","year":"1999","unstructured":"J. Rushby, \u201cUsing model checking to help discover mode confusions and other automation surprises,\u201d in D. Javaux (Ed.), Proceedings of the 3rdWorkshop on Human Error, Safety and System Development (HESSD'99), University of Liege, Belgium, 1999. A revised journal version is due to appear in Reliability Engineering and System Safety, Elsevier."},{"issue":"3","key":"336115_CR21","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1111\/1467-8659.00350","volume":"18","author":"S. Smith","year":"1999","unstructured":"S. Smith, D. Duke, and M. Massink, \u201cThe hybrid world of virtual environments,\u201d in P. Brunet and R. Scopigno (Eds.), Computer Graphics Forum, Vol. 18, No. 3, pp. 297\u2013307, 1999.","journal-title":"Computer Graphics Forum"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011232016683.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011232016683\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011232016683.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T19:17:10Z","timestamp":1754421430000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011232016683"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,9]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,9]]}},"alternative-id":["336115"],"URL":"https:\/\/doi.org\/10.1023\/a:1011232016683","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2001,9]]}}}