Language Workbench: https://github.com/wangyao2221/SHML2UPPAAL/tree/master/LanguageWorkbench
Modeling Workbench: https://github.com/wangyao2221/SHML2UPPAAL/tree/master/ModelingWorkbench
Transformation Engine: https://github.com/wangyao2221/SHML2UPPAAL/tree/master/TransformationEngine