We released a new version of APP4MC with new features and improvements.
Extract of APP4MC 3.0.0 Release notes
Model migration support (2.2.0 -> 3.0.0)
Removed deprecated model elements (ModeCondition* and ModeSwitch*)
Simplified data type definitions (inline type definition is no longer supported)
New lock type "Mutex"
New lock attribute "ownership"
Extended model documentation and validation of semaphores
Updated visualization framework:
* New utility classes for SVG (PlantUML, GraphViz)
* New persisted visualization parameters (per view)
* New visualization: EObject references
* Updated visualizations: Hardware, Runnable dependencies
Several bug fixes
Recommended Java runtime is Java 11.
Minimum is Java 8 (with limitations if JavaFX is not included).
Amalthea components (model, validation, migration) are available at Maven Central