"Model-Based Testing of Reactive Systems, Advanced Lectures 2004" - читать интересную книгу автора (Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander...)