D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)
A. Gregoriades, J. Shin, and A. Sutcliffe. 12th IEEE International Requirements Engineering Conference, page 154--163. Washington, DC, USA, IEEE Computer Society, (2004)
A. Sutcliffe. RE '01: Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE '01), Washington, DC, USA, IEEE Computer Society, (2001)