The Testability of Distributed Real-Time Systems - Schütz, Werner (Springer US, 1993)