D. Harel, H. Kugler, и A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, стр. 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)
A. Gregoriades, J. Shin, и A. Sutcliffe. 12th IEEE International Requirements Engineering Conference, стр. 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)