Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)