Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007: proceedings / ed. D. Bosnaski, 2007 r=on-line. - Текст : электронный.