The NuSMV Interactive Shell Commands