Halling, Evelin, Jüri Vain, Artem Boyarchuk, and Oleg Illiashenko. 2019. “TEST SCENARIO SPECIFICATION LANGUAGE FOR MODEL-BASED TESTING”. International Journal of Computing 18 (4):408-21. https://doi.org/10.47839/ijc.18.4.1611.