Modeling and analysis of communicating systems - Groote, J. F. 1965- (The MIT Press, 2014)