Book

Verification of infinite-state systems with applications to security

by Edmund Clarke