mvn clean verify -P simex,annotations
mvn clean verify -P externalcontrol
mvn clean verify -P fmi
mvn clean verify -P instancespecification
mvn clean verify -P parametric
mvn clean verify -P scripting
mvn clean verify -P simex
mvn clean verify -P suml
mvn clean verify -P visualization