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