Г. Семинский, А. Е. Дружинина, и Д. В. Такташкин, «РАЗРАБОТКА АЛГОРИТМОВ ОБЕСПЕЧИВАЮЩИХ ВЕРЕФИКАЦИЮ ДИАГРАММЫ СОБЫТИЙ НА ВРЕМЕННОЙ ШКАЛЕ», ISEB, т. 1, июн. 2018.