^{[BOO98] Booch, Grady, James Rumbaugh, and Ivar Jacobson. UML User Guide, Boston, MA: Addison-Wesley, 1998.}