Books by Workshop on Object-Oriented Real-Time Dependable Systems (4th 1999 Santa Barbara, Calif.)