Halling, E.; Vain, J.; Boyarchuk, A.; Illiashenko, O. TEST SCENARIO SPECIFICATION LANGUAGE FOR MODEL-BASED TESTING. IJC 2019, 18, 408-421.