НабиуллинО., & БабкинЭ. (2008). Моделирование и автоматическая проверка по AsmL. Бизнес-информатика, 2(4), 56-63. извлечено от https://bijournal.hse.ru/article/view/26385