Viewer now auto runs NuSMV