"Modeling Software with Finite State Machines: Practical Approach" - читать интересную книгу автора (Ferdinand Wagner, Ruedi Schmuki, Thomas Wagner, Peter Wolstenholme)