conf/words/2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, WORDS, 2005, http://dblp.uni-trier.de/db/conf/words/words2005.html, IEEE Computer Society, 0-7695-2347-1