W. Phillips, and N. Graham. Intl Workshop on Interactive Systems - Design, Specification, and
Verification, page 92--106. Funchal, Madeira Island, Portugal, (June 2003)
L. Chung, B. Nixon, and E. Yu. RE '95: Proceedings of the Second IEEE International Symposium on Requirements Engineering, page 132--139. York, England, IEEE Computer Society, (27--29 03 1995)
L. Stojanovic, A. Maedche, B. Motik, and N. Stojanovic. European Conference on Knowledge Engineering and Knowledge Management EKAW, page 285--301. Madrid, Spain, (1--4 10 2002)