Precise UML