Modeling and analysis of communicating systems - Groote, Jan Friso, 1965- (MIT, 2014)