Object-Oriented Analysis and Design for Information Systems : Modeling with UML, OCL, and IFML - Wazlawick, Raul Sidnei (Elsevier, Morgan Kaufmann, 2013)