A tool for the Automatic Translation from UML Activity Diagrams to Statecharts