Shamus P. Smith, Michael D. Harrison. Blending Descriptive and Numeric Analysis in Human Reliability Design. In Peter Forbrig, Quentin Limbourg, Bodo Urban, Jean Vanderdonckt, editors, Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002. Volume 2545 of Lecture Notes in Computer Science, pages 223-237, Springer, 2002. [doi]
Abstract is missing.