UML 2 semantics and applications - Lano, Kevin (John Wiley & Sons, 2009)