Concurrency verification : introduction to compositional and noncompositional methods / - Roever, W.-P. de (Cambridge University Press, 2001)