This package contains classes for generating the NuSMV text files.