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