Object-oriented analysis and design for information systems : modeling with UML, OCL, and IFML / Raul Sidnei Wazlawick (Morgan Kaufmann, 2014)