NuSMV 2.5.4