"The Mathematical Foundation of Symbolic Trajectory Evaluation" - читать интересную книгу автора (Chou C.-T.)