7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA. IEEE Computer Society 2002, ISBN 0-7695-1576-2