Automatic Verification of Sequential Infinite-State Processes - Olaf Burkart ((Lecture Notes in Computer Science))