conf/ecbs/2006, 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany, ECBS, 2006, http://dblp.uni-trier.de/db/conf/ecbs/ecbs2006.html, IEEE Computer Society, 0-7695-2546-6