Author: Workshop on Object-Oriented Real-Time Dependable Systems (1st 1994 Dana Point, Calif.)