Communicating systems with UML 2 : modeling and analysis of network protocols - Garduno Barrera, David (ISTE, 2011)