Ariz.) IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (10th 2005 Sedona