modeling and analysis of communicating systems - Groote, Jan Frisco (PHI Learning, 2016)