Author: Calif.) Workshop on Object-Oriented Real-Time Dependable Systems (5th : 1999 : Monterey