G. Regev, and A. Wegmann. International Conference on Requirements Engineering, page 253--362. Paris, France, IEEE Computer Society, (31--4 September 2005)
R. Landtsheer, E. Letier, and A. van Lamsweerde. 11th IEEE International Requirements Engineering Conference (RE'03), page 200--210. Monterey Bay, USA, IEEE Computer Society Press, (September 2003)