VeriTech: Translating among specifications and verification tools (1999)

by S Katz, O Grumberg