{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T13:16:50Z","timestamp":1648905410215},"reference-count":20,"publisher":"Informa UK Limited","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Systems Science"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1080\/00207720210133688","type":"journal-article","created":{"date-parts":[[2002,11,8]],"date-time":"2002-11-08T02:32:54Z","timestamp":1036722774000},"page":"513-527","source":"Crossref","is-referenced-by-count":0,"title":["Integrated support based on task models for the design, evaluation, and documentation of interactive safety-critical systems: A case study in the air-traffic control domain"],"prefix":"10.1080","volume":"33","author":[{"given":"F.","family":"Patern\u00f2and","sequence":"first","affiliation":[]},{"given":"C.","family":"Santoro","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","first-page":"3","volume-title":"Interactive Systems: Design, Specification, Verification","author":"BODART F.","year":"1994"},{"key":"CIT0002","volume-title":"Unified Modeling Language Reference Manual","author":"BOOCH G.","year":"1999"},{"key":"CIT0003","doi-asserted-by":"crossref","unstructured":"BURNS, D. J. and PITBLADO, R. M. A modified HAZOP methodology for safety critical systems assessment. Directions in Proceedings of the Safety-Critical Systems Symposium. Berlin. Springer.","DOI":"10.1007\/978-1-4471-2037-7_15"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1145\/331490.331492"},{"key":"CIT0005","series-title":"Technical Report YCS-97-294","volume-title":"THEA: human error analysis for requirements definition","author":"FIELDS R. E.","year":"1997"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1145\/331490.331493"},{"key":"CIT0007","volume-title":"Human Reliability Analysis Context and Control","author":"HOLLNAGEL R.","year":"1993"},{"key":"CIT0008","volume-title":"Comparing performance and usability evaluation: new methods for automated usability assessment","author":"IVORY M.","year":"1999"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1145\/503112.503114"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1007\/s101110050037"},{"key":"CIT0011","volume-title":"Safeware: System Safety and Computers-A Guide to preventing accidents and losses caused by technology.","author":"LEVERSON N. G.","year":"1995"},{"key":"CIT0012","unstructured":"McDERMiD, J. A. and PUMFREY, D. J. A development of hazard analysis to aid software design. Proceedings of COMPASS'94. (IEEE Press) [ftp:\/\/ftp.cs.york.ac.uk\/hise_reports\/ safety\/develop.ps.Z]"},{"key":"CIT0013","series-title":"UK, Ministry of Defence Interim Def Stan 00-58, Issue 1","volume-title":"HAZOP studies on systems containing programmable electronics","year":"1996"},{"key":"CIT0014","volume-title":"Usability Engineering","author":"NIBLSEN J.","year":"1993"},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"PALANQUE, P., BASTIDE, R. and PATERN\u00d2, F. 1997.Formal specification as a tool for objective assessment of safety-critical interactive systems, Proceedings INTERACT '97, 323330Chaman & Hall.","DOI":"10.1007\/978-0-387-35175-9_53"},{"key":"CIT0016","volume-title":"Model-based Design and Evaluation of Interactive Applications.","author":"PATERN\u00d2 F.","year":"1999"},{"key":"CIT0017","first-page":"40","author":"PUBRTA A.","year":"1997","journal-title":"IEEE Software"},{"key":"CIT0018","doi-asserted-by":"crossref","unstructured":"PUERTA, A., CHENG, E., TUNHOW, O. and MIN, J. MOBILE: user-centred interface building. Proceedings ACM CEI'99. pp.424433 (ACM Press)","DOI":"10.1145\/302979.303124"},{"key":"CIT0019","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139062367","volume-title":"Human Error","author":"REASON J.","year":"1990"},{"key":"CIT0020","volume-title":"Usability Inspection Methods","author":"WHARTON C.","year":"1994"}],"container-title":["International Journal of Systems Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207720210133688","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,3]],"date-time":"2018-01-03T12:01:04Z","timestamp":1514980864000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207720210133688"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["10.1080\/00207720210133688"],"URL":"https:\/\/doi.org\/10.1080\/00207720210133688","relation":{},"ISSN":["0020-7721","1464-5319"],"issn-type":[{"value":"0020-7721","type":"print"},{"value":"1464-5319","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}