Envoyer par SMS: Detekcia sémantických konfliktov v softvérových modeloch