1. van Welie, M., van der Veer, G., Eliëns, A.: An Ontology for Task World Models. In: DSV-IS 1998. Springer, Abingdon (1998)
2. Paterno, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, London (1999)
3. Khendek, F., Bourduas, S., Vincent, D.: Stepwise Design with Message Sequence Charts. In: Proceedings of the IFIP TC6/WG6.1. Kluwer, B.V. (2001)
4. Brinksma, E., Scollo, G., Steenbergen, C.: Lotos specifications, their implementations and their tests. In: Conformance testing methodologies and architectures for OSI protocols, pp. 468–479. IEEE Computer Society Press, Los Alamitos (1995)
5. Sinnig, D., Chalin, P., Khendek, F.: Consistency between Task Models and Use Cases. In: Proceedings of Design, Specification and Verification of Interactive Systems 2007. Salamanca, Spain (2007)