4.0.0 org.into-cps.maestro root 2.1.9 modeldefinitionchecker A VDM model checker for Model Definition 2.4.4 overture-m2-dev http://overture.au.dk/artifactory/simple/overture-development/ default true daily true daily overture-m2-dev http://overture.au.dk/artifactory/simple/overture-development/ default true daily true daily org.junit.jupiter junit-jupiter org.overturetool.core.codegen codegen-runtime ${overture.version} junit junit org.into-cps.maestro fmi 2.1.9 compile org.overturetool.core.codegen codegen-plugin ${overture.version} java generate-sources generate vdm10 sl src/main/resources/sv_checker org.intocps.fmichecker vdm10 false org.codehaus.mojo build-helper-maven-plugin 3.2.0 add-source generate-sources add-source ${project.build.directory}/generated-sources/javacode/ org.apache.maven.plugins maven-antrun-plugin 1.8 process-sources run org.eclipse.m2e lifecycle-mapping 1.0.0 org.overturetool.core.codegen codegen-plugin [2.4.4,) generate