{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:08:19Z","timestamp":1725458899404},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590088"},{"type":"electronic","value":"9783540491736"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0035815","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:36:05Z","timestamp":1138185365000},"page":"185-195","source":"Crossref","is-referenced-by-count":2,"title":["Applying formal methods for human error tolerant design"],"prefix":"10.1007","author":[{"given":"Bob","family":"Fields","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Wright","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"16_CR1","unstructured":"G. D. Abowd. Formal Aspects of Human-Computer Interaction. PhD thesis, University of Oxford Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"A. Coombes, J. McDermid, and P. Morris. Causality as a means for the expression of requirements for safety critical systems. In COMPASS'94, 1994.","DOI":"10.1109\/CMPASS.1994.318450"},{"issue":"3","key":"16_CR3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"D. Duke","year":"1993","unstructured":"David Duke and Michael Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3):25\u201336, 1993.","journal-title":"Computer Graphics Forum"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"D. Duke and M. Harrison. Folding human factors into rigorous development. In Patern\u00f3 [Pat94].","DOI":"10.1007\/978-3-642-87115-3_20"},{"issue":"2","key":"16_CR5","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/198125.198147","volume":"26","author":"B. Fields","year":"1994","unstructured":"B. Fields, M. Harrison, and P. Wright. From informal requirements to agent-based specification: an aircraft warnings case study (extended abstract). ACM SIGCHI Bulletin, 26(2):65\u201368, 1994.","journal-title":"ACM SIGCHI Bulletin"},{"key":"16_CR6","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall International, 1985."},{"key":"16_CR7","unstructured":"E. Hollnagel. Human reliability analysis\u2014Context and control. Academic Press, 1993."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"F. Patern\u00f2, editor. Proceedings, EUROGRAPHICS Workshop on the Design, Specification, Verification of Interactive Systems, Bocca di Magra, Italy, June 1994.","DOI":"10.1145\/191642.191657"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"C.R. Roast and M.D. Harrison. User centred system modelling using the template model. In Patern\u00f2 [Pat94].","DOI":"10.1007\/978-3-642-87115-3_24"},{"key":"16_CR10","volume-title":"Technical Report NUREG\/CR-1278","author":"A.D. Swain","year":"1983","unstructured":"A.D. Swain and H.E. Guttman. Handbook of human reliability analysis with emphasis on nuclear power plant applications. Technical Report NUREG\/CR-1278, Sandia National Laboratory, N.M., 1983."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Richard L. Schwartz, P.M. Melliar-Smith, and Friedrich H. Vogt. An interval logic for higher-level temporal reasoning. In ACM Symposium on Principles of Distributed Computing, pages 173\u2013186, August 1983.","DOI":"10.1145\/800221.806720"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Peter Wright, Bob Fields, and Michael Harrison. Deriving human-error tolerance requirements from tasks. In First International Conference on Requirements Engineering. IEEE, 1994.","DOI":"10.1109\/ICRE.1994.292393"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Human-Computer Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035815","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:42:11Z","timestamp":1555411331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035815"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590088","9783540491736"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0035815","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}