Matthias Biere, Birgit Bomsdorf, Gerd Szwillus. Specification and simulation of task models with VTMB. In Michael E. Atwood, editor, CHI '99 Extended Abstracts on Human Factors in Computing Systems, CHI Extended Abstracts '99, Pittsburgh, Pennsylvania, USA, May 15-20, 1999. pages 1-2, ACM, 1999. [doi]
Abstract is missing.