Executable Uml door Stephen J. Mellor, Marc J. Balcer & Marc Balcer