Modeling and Analysis of Communicating Systems - Groote (IEEE, 2003)