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