Y. Cho, N. Chang, C. Chakrabarti, and S. Vrudhula. DAC '06: Proceedings of the 43rd Annual Conference on Design Automation, page 568--573. New York, NY, USA, ACM Press, (2006)
B. Nuseibeh. IWSSD '96: Proceedings of the 8th International Workshop on Software Specification and Design, Washington, DC, USA, IEEE Computer Society, (1996)