UML 2 semantics and applications - Lano, K. (John Wiley & Sons,)