Model Checking. Верификация параллельных и распределенных программных систем, 2011 Карпов Ю.Г. Other ... Читать