[root]/org.openiaml.verification.nusmv/src metamodel (1 files, 71 lines) template (4 files, 1191 lines)