Ўхшаш китоблар «Model Checking. Верификация параллельных и распределенных программных систем», Ю. Г. Карпов