Simon Busard, Charles Pecheur: PyNuSMV: NuSMV as a Python Library. NASA Formal Methods 2013: 453-458