Поттосин Ю. В., Романов В. И., Черемисинова Л. Д. Верификация систем с параллелизмом поведения на основе графа достижимых состояний // Информатика. 2019 Т.16, №2. С.62-72.