model checking.pdf（英文版）,Edmund M. Clarke著作，模型檢驗入門書籍。有名的模型驗證方面的專家。書中對model checking有很全面的介紹。