Italy) IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (9th : 2003 : Anacapri