NuSMV: An Open Source Tool for Symbolic Model Checking (2002)

by A Cimatti, E Clarke, E Giunchiglia, Giunchiglia