J. Gustafsson, B. Lisper, C. Sandberg, and N. Bermudo. Object-Oriented Real-Time Dependable Systems, 2003.(WORDS 2003). Proceedings of the Eighth International Workshop on, page 106-112. IEEE Computer Society, (2003)http://dblp.uni-trier.de/db/conf/words/words2003.html#GustafssonLSB03.