Zaslat SMS: Solving Conflicts in UML State Machines Concurrent States