org.into-cps.maestro:modeldefinitionchecker (maven): This is a FMI simulation framework
Keywords: maestro