{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:12:03Z","timestamp":1725552723967},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341451"},{"type":"electronic","value":"9783540341468"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11752707_5","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:50:15Z","timestamp":1148550615000},"page":"51-66","source":"Crossref","is-referenced-by-count":9,"title":["Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems"],"prefix":"10.1007","author":[{"given":"Sandra","family":"Basnyat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Chozos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"171","volume-title":"Proceedings Design, Specification and Verification of Interactive Systems DSV-IS 1998","author":"R. Bastide","year":"1998","unstructured":"Bastide, R., Palanque, P., Le Duc, H., Munoz, J.: Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. In: Proceedings Design, Specification and Verification of Interactive Systems DSV-IS 1998, pp. 171\u2013191. Springer, Heidelberg (1998)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/353171.353179","volume-title":"ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2000)","author":"R. Bastide","year":"2000","unstructured":"Bastide, R., Sy, O., Palanque, P., Navarre, D.: Formal specification of CORBA services: experience and lessons learned. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2000), pp. 105\u2013117. ACM Press, New York (2000)"},{"unstructured":"Johnson, C.W.: Handbook of Accident and Incident Reporting. Glasgow University Press (2003)","key":"5_CR3"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-84524-6_1","volume-title":"High-Levels Petri-Nets: Theory and Application.","author":"H.J. Genrich","year":"1991","unstructured":"Genrich, H.J.: Predicate\/Transitions Nets. In: Jensen, K., Rozenberg, G. (eds.) High-Levels Petri-Nets: Theory and Application., pp. 3\u201343. Springer, Berlin (1991)"},{"unstructured":"Haiko, S., Lehto, E., Virvaldo, T.: Modelling of Water Hammer Phenomenon- Based Pressure Intensifier, \n                    \n                      http:\/\/www.callisto.si.usherb.ca\/~fluo2000\/PDF\/Fl_078.pdf\n                    \n                    \n                   (Last accessed 23\/2\/05)","key":"5_CR5"},{"key":"5_CR6","first-page":"161","volume-title":"Design, Specification and Verification of Interactive Systems (DSVIS 1997)","author":"J.C. Hill","year":"1997","unstructured":"Hill, J.C., Wright, P.C.: From text to Petri-Nets: The difficulties of describing accident scenarios formally. In: Design, Specification and Verification of Interactive Systems (DSVIS 1997), Granada, Spain, pp. 161\u2013176. Springer, Heidelberg (1997)"},{"unstructured":"Kelly, T., Weaver, R.: The Goal Structuring Notation: A Safety Argument Notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)","key":"5_CR7"},{"unstructured":"Ladkin, P., Loer, K.: Why Because Analysis: Formal Reasoning About Incidents, Technical Report RVS-BK-98-01, University of Bielefeld, Germany (1998)","key":"5_CR8"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0925-7535(03)00047-X","volume":"42","author":"N. Leveson","year":"2004","unstructured":"Leveson, N.: A New Accident Model for Engineering Safer Systems. Safety Science\u00a042, 237\u2013270 (2004)","journal-title":"Safety Science"},{"unstructured":"Navarre, D., Palanque, P., Bastide, R.: A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. In: HCI-Aero 2004, Toulouse, France, September 29 - October 1 (2004)","key":"5_CR10"},{"key":"5_CR11","first-page":"309","volume-title":"A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers","author":"D. Navarre","year":"2003","unstructured":"Navarre, D., Palanque, P., Bastide, R.: A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, vol.\u00a015(3), pp. 309\u2013328. Elsevier, Amsterdam (2003)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-44675-3_7","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"D. Navarre","year":"2001","unstructured":"Navarre, D., Palanque, P., Bastide, R., Sy, O.: Structuring Interactive Systems Specifications for Executability and Prototypability. In: Palanque, P., Patern\u00f3, F. (eds.) DSV-IS 2000. LNCS, vol.\u00a01946, pp. 97\u2013109. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Palanque, P., Basnyat, S.: Task Patterns for taking into account in an efficient and systematic way both standard and erroneous user behaviours. In: HESSD 2004, 6th International Working Conference on Human Error, Safety and System Development, Toulouse, France, pp. 109\u2013130 (2004)","key":"5_CR13","DOI":"10.1007\/1-4020-8153-7_8"},{"unstructured":"Petri, C.A.: Kommunikation mit automaten. Technical University Darmstadt (1962)","key":"5_CR14"},{"unstructured":"Thorley, A.R.D.: Fluid Transients in Pipeline Systems, Co-published by Professional Engineering Publishing, UK. ASME Press (2004)","key":"5_CR15"},{"unstructured":"United States Department Of Labor Mine Safety And Health Administration Report Of Investigation Surface Area Of Underground Coal Mine Fatal Exploding Pressure Vessel Accident January 28, 2002 At Island Creek Coal Company Vp 8 (I.D. 44-03795) Mavisdale, Buchanan County, Virginia Accident Investigator Arnold D. Carico Mining Engineer Originating Office Mine Safety And Health Administration District 5 P.O. Box 560, Wise County Plaza, Norton, Virginia 24273 Ray Mckinney, District Manager Release Date: June 20 (2002)","key":"5_CR16"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11752707_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:03:24Z","timestamp":1619492604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11752707_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341451","9783540341468"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11752707_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}