Update the CIF to UPPAAL transformation for newer UPPAAL versions
The current CIF to UPPAAL transformation is outdated in the sense that several features of UPPAAL now allow for a broader range of types of models. For example, stochastic hybrid automata can be used by UPPAAL SMC (statistical model checking) and UPPAAL STRATEGO (near-optimal strategy synthesis). So more CIF models should be translatable to UPPAAL models.
Based on the CIF documentation, it is unclear which version of UPPAAL was considered when the transformation was created.
Documentation of UPPAAL itself is improving now, including a web-based version at https://docs.uppaal.org.
Before we can make any changes to the CIF to UPPAAL transformation, we should carefully create an overview of CIF model features that we can now include in the transformation and whether they have the same semantics in both modeling languages.