Halling, E., J. Vain, A. Boyarchuk, and O. Illiashenko. “TEST SCENARIO SPECIFICATION LANGUAGE FOR MODEL-BASED TESTING”. International Journal of Computing, vol. 18, no. 4, Dec. 2019, pp. 408-21, doi:10.47839/ijc.18.4.1611.