Y. Oh, D. Lee, S. Kang, и J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, стр. 87--88. IEEE, (июня 2007)
E. Dashofy, A. van der Hoek, и R. Taylor. Proceedings of the 24rd International Conference on Software Engineering, 2002. ICSE 2002, стр. 266--276. IEEE, (мая 2002)