K.L. McMillan. Symbolic Model Checking: an approach to the State explosion problem.

• 邵明；李光辉；李晓维.；模型检验中迁移关系的分组策略