~ tracking down this book ~
Principles of Model Checking by Christel Baier — OmList