NabiullinO., & BabkinE. (2008). Моделирование и автоматическая проверка по AsmL. Business Informatics, 2(4), 56-63. Retrieved from https://bijournal.hse.ru/article/view/26385