Compositional Verification of Concurrent and Real-Time Systems by Eric Y.T. Juan & Jeffrey J.P. Tsai