GitHub repository: uppaal-emf/uppaal-meta-model
Created: 2022-11-16T02:01:54Z
Description: An EMF Meta Model for timed automata as defined by the UPPAAL model-checking software