H. Ganzinger, and V. Sofronie-Stokkermans. Proceedings of the 30th Intl Symp. Multi-valued Logics, page 337--344. Portland, Oregon, IEEE Computer Society Press, (May 2000)
A. Gregoriades, J. Shin, and A. Sutcliffe. 12th IEEE International Requirements Engineering Conference, page 154--163. Washington, DC, USA, IEEE Computer Society, (2004)
C. Ebert, and J. Man. ICSE '05: Proceedings of the 27th international conference on Software engineering, page 553--560. New York, NY, USA, ACM Press, (2005)