"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers" - читать интересную книгу автора (Leslie Lamport)