Detekcia sémantických konfliktov v softvérových modeloch - Olejár, Martin (2018)