NuSMV Syntax added.