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