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)
W. Phillips, and N. Graham. Intl Workshop on Interactive Systems - Design, Specification, and
Verification, page 92--106. Funchal, Madeira Island, Portugal, (June 2003)