MODEL СHECKING. Верификация параллельных и распределенных программных систем
Карпов Юрий Глебович