Author: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems