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)
C. Teyssie. International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies, 2006. ICN/ICONS/MCL 2006, стр. 12-- 12. IEEE, (апреля 2006)
M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., стр. 210--216. IEEE, (января 2003)