Model checking software : 17th international SPIN workshop, Enschede, the Netherlands, September 27-29, 2010: proceedings / ed. J. Pol, 2010 r=on-line. - Текст : электронный.