Title: Model Checking, Second Edition
Subjects: Sat (educational test), Models and modelmaking