Books by Workshop on Object-Oriented Real-Time Dependable Systems (2nd 1996 Laguna Beach, Calif.)