Compositional Verification of Concurrent and Real-Time Systems - Juan, Eric Y. T.; Tsai, Jeffrey J. P. (Springer US, 2002)