M. de Miguel, P. Massonet, J. Silva, and J. Briones. 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), page 563--569. IEEE, (May 2008)
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)