Henzinger-模型检查手册,模型检测学习的很好的一本书