M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., стр. 210--216. IEEE, (января 2003)
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)
B. Wang, C. Wen, W. Zhu, и J. Sheng. International Symposium on Computer Science and Computational Technology, 2008. ISCSCT '08, 2, стр. 383--386. IEEE, (декабря 2008)