Modelling Recursive Calls with UML State Diagrams