GitHub repository: uppaal-emf/uppaal-metamodel
Primary language: Java
Description: A metamodel based on EMF for timed automata as defined by the UPPAAL tool environment