"Formal Development of Reactive Systems: Case Study Production Cell " - читать интересную книгу автора (Claus Lewerentz, Thomas Lindner)