4.0.0 org.into-cps.vdmcheck fmi2 1.1.3 ../pom.xml org.into-cps.vdmcheck.fmi2 vdmcheck2 yyMMdd org.into-cps.vdmcheck.fmi2 static-model ${project.version} org.into-cps.vdmcheck.fmi2 rule-model ${project.version} org.into-cps.vdmcheck xsd2vdm org.into-cps.vdmcheck fmuReader dk.au.ece.vdmj vdmj dk.au.ece.vdmj annotations junit junit 4.8.2 test maven-jar-plugin VDMCheckPlus ${project.version} build ${maven.build.timestamp} . ${project.artifactId}-${project.version} maven-assembly-plugin static package single src/assembly/assembly-static.xml rules package single src/assembly/assembly-rules.xml