Y. Oh, D. Lee, S. Kang, and J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, page 87--88. IEEE, (June 2007)
S. Paltridge. Working Party on Telecommunication and Information Services Policies, Directorate for Science, Technology and Industry, Committee for Information, Computer and Communications Policy, OECD, Paris, (1998)