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)
M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., стр. 210--216. IEEE, (января 2003)
D. Xu, N. Philbert, Z. Liu, и W. Liu. Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, 2, стр. 450 --453. (декабря 2008)
M. Wimmer, M. Strommer, H. Kargl, и G. Kramler. System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on, стр. 285b --285b. (января 2007)
S. Zhang, и S. Goddard. International Conference on Information Technology: Coding and Computing, 2005. ITCC 2005, 2, стр. 443-- 448 Vol. 2. IEEE, (апреля 2005)