L. Ollinger, D. Zühlke, A. Theorin, and C. Johnsson. Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, Italy, (2013)
A. Dabholkar, and A. Gokhale. ICDCS '09 Workshops: Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops, Montreal, Canada, page 73-79. (2009)
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)