E. Halling, J. Vain, A. Boyarchuk, and O. Illiashenko, “TEST SCENARIO SPECIFICATION LANGUAGE FOR MODEL-BASED TESTING”, IJC, vol. 18, no. 4, pp. 408-421, Dec. 2019.