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