Open-source code generator for Simulink/Stateflow
Declarative PageObject description
Workflow control and configuration java framework
Petri net framework for security related modeling and reasoning.
SCOPE: Space-Based Coordination Process Engineering