M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., Seite 210--216. IEEE, (Januar 2003)
Y. Oh, D. Lee, S. Kang, und J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, Seite 87--88. IEEE, (Juni 2007)