"Design Methods for Reactive Systems: Yourdon, Statemate, and the UML (The Morgan Kaufmann Series in Software Engineering and Programming)" - читать интересную книгу автора (R. J. Wieringa)