Check generated *.smv files with external model checker
The SMV Printer component should be tested in more detailed way than it does today (just generation of *.smv files, nothing else).
In fact, *.smv files that are generated in jUnit tests should be checked by external model checking tool (NuSMV?).
For tool location the system variable like MODEL_CHECKER_PATH can be used.