{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:59:10Z","timestamp":1725519550993},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540859918"},{"type":"electronic","value":"9783540859925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85992-5_8","type":"book-chapter","created":{"date-parts":[[2008,10,3]],"date-time":"2008-10-03T05:55:37Z","timestamp":1223013337000},"page":"98-109","source":"Crossref","is-referenced-by-count":26,"title":["AMBOSS: A Task Modeling Approach for Safety-Critical Systems"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Giese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomasz","family":"Mistrzyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Pfau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerd","family":"Szwillus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Detten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Amboss: Homepage of the AMBOSS project, Universit\u00e4t Paderborn, Institut f\u00fcr Informatik (accessed April 2008), http:\/\/wwwcs.upb.de\/cs\/ag-szwillus\/lehre\/ws05_06\/PG\/PGAMBOSS\/index.php"},{"key":"8_CR2","unstructured":"Barboni, E., Navarre, D., Palanque, P., et al.: A Model-Based Tool for the Formal Modelling and Simulation of Interactive Safety Critical Embedded Systems. In: Proceedings of HCI aero conference (Demonstration) (HCI Aero 2006), Seattle, USA (September 2006)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Baron, M., Lucquiaud, V., Autard, D., et al.: K-MADe: un environement pour le noyau du mod\u00e8le de description de l\u2019activit\u00e9. In: Proceedings of the 18th French-speaking conference on Human-computer interaction, Montreal, Canada, April 18-21 (2006)","DOI":"10.1145\/1132736.1132786"},{"key":"8_CR4","unstructured":"Bellamy, L.J., Geyer, T.A.W.: Development of a working model of how human factors, safety management systems and wider organisational issues fit together. Health and Safety Executive Report, RR543 (2007), http:\/\/www.hse.gov.uk\/research\/rrpdf\/rr543.pdf (accessed, June 2007)"},{"key":"8_CR5","volume-title":"CHI 1999 Extended Abstracts on Human Factors in Computing Systems","author":"M. Biere","year":"1999","unstructured":"Biere, M., Bomsdorf, B., Szwillus, G.: Specification and simulation of task models with VTMB. In: CHI 1999 Extended Abstracts on Human Factors in Computing Systems, Pittsburgh, Pennsylvania, May 15 - 20, 1999. ACM Press, New York (1999)"},{"key":"8_CR6","unstructured":"Guitare: GUITARE Homepage (Last access: April 2008), http:\/\/giove.cnuce.cnr.it\/Guitare\/"},{"key":"8_CR7","unstructured":"Hollnagel, E.: Barrier analysis and accident prevention. Aldershot, UK, Ashgate (2004)"},{"key":"8_CR8","unstructured":"Isolde, Isolde Homepage (Last Access: April 2008), http:\/\/www.ict.csiro.au\/staff\/Cecile.Paris\/from-cmis\/projects\/Isolde\/scientificProgress.htm"},{"key":"8_CR9","unstructured":"Lu, S., Paris, C., Vander Linden, K.: Tamot: Towards a Flexible Task Modeling Tool. In: Proceedings of Human Factors, Melbourne, Australia, November 25-27 (2002)"},{"key":"8_CR10","unstructured":"Mefisto: Mefisto Homepage (Last Access: April 2008), http:\/\/giove.cnuce.cnr.it\/mefisto.html"},{"key":"8_CR11","unstructured":"Mistrzyk, T.: Analysis of Communication in Hierarchical Task Models focused on Safety Critical Systems. Dissertation, University of Paderborn, Institute of Computer Science (in print) (2008)"},{"issue":"8","key":"8_CR12","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 Trans. Softw. Eng.\u00a028(8), 797\u2013813 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR13","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., Barboni, E., et al.: 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":"8_CR14","unstructured":"Puerta, A.R.: The Mecano Project: Enabling User-Task Automation During Interface Development. In: AAAI 1996: Spring Symposium on Acquisition. Learning and Demonstration: Automating Tasks For Users, pp. 117\u2013121 (1996)"},{"key":"#cr-split#-8_CR15.1","unstructured":"Petshop: Petshop Homepage (Last access: April 2008), http:\/\/liihs.irit.fr\/petshop\/;"},{"key":"#cr-split#-8_CR15.2","unstructured":"Shannon, C., Weaver, M.: The Mathematical Theory of Communication, University of Illinois (1949)"},{"key":"8_CR16","volume-title":"Safety-Critical Computer Systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, London (1996)"},{"key":"8_CR17","first-page":"145","volume-title":"Proceedings of the 3rd Annual Conference on Task Models and Diagrams, TAMODIA 2004","author":"J. Stuart","year":"2004","unstructured":"Stuart, J., Penn, R.: TaskArchitect: taking the work out of task analysis. In: Proceedings of the 3rd Annual Conference on Task Models and Diagrams, TAMODIA 2004, Prague, Czech Republic, November 15 - 16, 2004, vol.\u00a086, pp. 145\u2013154. ACM Press, New York (2004)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Szekely, P., Luo, P., Neches, R.: Facilitating the Exploration of Interface Design Alternatives: The HUMANOID Model of Interface Design. In: CHI 1992 Conference Proc. (1992)","DOI":"10.1145\/142750.142912"}],"container-title":["Lecture Notes in Computer Science","Engineering Interactive Systems 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85992-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:56:43Z","timestamp":1619524603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85992-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540859918","9783540859925"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85992-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}