http://is.ifmo.ru/verification/

2010
Karpov - Model Checking ru