NabiullinO. and BabkinE. (2008) “Моделирование и автоматическая проверка по AsmL”, Business Informatics, 2(4), pp. 56-63. Available at: https://bijournal.hse.ru/article/view/26385 (Accessed: 10July2026).