4.0.0 org.into-cps vdmcheck 1.1.3 ../pom.xml org.into-cps.vdmcheck fmuReader jar fmuReader A VDMJ ExternalFormatReader for reading FMUs dk.au.ece.vdmj vdmj org.into-cps.vdmcheck xsd2vdm ${project.artifactId}-${project.version}-${maven.build.timestamp} maven-jar-plugin fmureader.FMUReader ${project.version} build ${maven.build.timestamp} .