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