- BODART , F. , HENNBRBBRT , A. , LEHBUREUX , J. and VANDBRDONCKT , J. 1994 . “ A model-based approach to presentation: a continuum from task analysis to prototype ” . In Interactive Systems: Design, Specification, Verification , Edited by: Paterno , F. 3 – 14 . Berlin : Springer .
- BOOCH , G. , RUMBAUGH , J. and JACOBSON , I. 1999 . Unified Modeling Language Reference Manual , Reading : Addison Wesley .
- 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 .
- FIELDS , R. , PATERNÒ , F. , SANTORO , C. and TAHMASSEBI , S. 1999 . Comparing design options for allocating communication media in cooperative safety-critical contexts: a method and a case study . ACM Transactions on Computer-Human Interaction , 6 : 370 – 398 .
- FIELDS , R. E. , HARRISON , M. D. and WRIGHT , P. C. 1997 . THEA: human error analysis for requirements definition , Technical Report YCS-97-294 UK : Department of Computer Science, University of York . [http://www.cs.york.ac.uk/bob/papers.html]
- GALLIERS , J. , SUTCLIFFB , A. and MINOCHA , S. 1999 . An impact analysis method for safety-critical user interface design . ACM Transactions on Computer-Human Interaction , 6 (4)
- HOLLNAGEL , R. 1993 . Human Reliability Analysis Context and Control , San Diego : Academic Press .
- IVORY , M. and HEARST , M. 1999 . Comparing performance and usability evaluation: new methods for automated usability assessment [http://www.cs.berkeley.edu/ivory/research/web/papers/peue.pdfj.
- IVORY , M. and HEARST , M. 2001 . The state of the art in automating usability evaluation of user interfaces . ACM Computing Surveys , 33 : 470 – 516 .
- JOHNSON , C. and BOTTING , R. 1999 . Reason's model of organisational accidents in formalising accident reports . Cognition, Technology and Work , 1 : 107 – 118 .
- LEVERSON , N. G. 1995 . Safeware: System Safety and Computers-A Guide to preventing accidents and losses caused by technology. , Boston : Addison Wesley .
- 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]
- MOD . 1996 . HAZOP studies on systems containing programmable electronics , UK, Ministry of Defence Interim Def Stan 00-58, Issue 1 [http://www.dstan.mod.uk/dstan_data/ix-00.htm]
- NIBLSEN , J. 1993 . Usability Engineering , Boston : Academic Press .
- PALANQUE , P. , BASTIDE , R. and PATERNÒ , F. 1997 . Formal specification as a tool for objective assessment of safety-critical interactive systems, Proceedings INTERACT '97 , 323330 Chaman & Hall .
- PATERNÒ , F. 1999 . Model-based Design and Evaluation of Interactive Applications. , Berlin : Springer .
- PUBRTA , A. 1997 . A model-based interface development environment . IEEE Software , : 40 – 47 .
- PUERTA , A. , CHENG , E. , TUNHOW , O. and MIN , J. MOBILE: user-centred interface building . Proceedings ACM CEI'99 . pp. 424433 (ACM Press)
- REASON , J. 1990 . Human Error , Cambridge : Cambridge University Press .
- WHARTON , C. , RIBMAN , J. , LEWIS , C. and POLSON , P. 1994 . “ The cognitive walkthrough: a practitioner's guide ” . In Usability Inspection Methods , Edited by: Nielsen , J. and Mack , R. L. Chichester : Wiley .
International Journal of Systems Science
Volume 33, 2002 - Issue 6