Seol mar théacs é seo: Solving Conflicts in UML State Machines Concurrent States