NuSMV: a new symbolic model checker. Software Tools for Technology Transfer (1998)

by A Cimatti, E Clarke, F Giunchiglia, M Roveri