"High level system design and analysis using abstract state machines" - читать интересную книгу автора (Borgner E.)