Simulation-based Verification of UML models