The testability of distributed real-time systems - Schutz, Werner, 1961- (The Kluwer international series in engineering and computer science. Real-time systems, 1993)