M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., page 210--216. IEEE, (January 2003)
J. Zhao, S. Liu, X. Wang, L. Chen, and C. Wei. 2008 9th International Conference on Computer-Aided Industrial Design and Conceptual Design, page 399--404. Beijing, China, (November 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)
S. Ajitha, T. Kumar, D. Geetha, and K. Kanth. 2010 International Conference on Industrial and Information Systems (ICIIS), page 372--376. IEEE, (August 2010)