И. Бурдонов, А. Косачев
Тестирование и верификация систем на основе формальных моделей. Лекция 3.
http://old.compsciclub.ru/courses/testingverification/
Уральский федельный университет, Computer Science клуб, Екатеринбург, 6,7,8 аапреля 2012
54 слайда