Tool to translate an interactive scenario written in i-score into its UPPAAL model. The formal model was published in
Arias, J., Desainte-Catherine, M., & Rueda, C. (2015). A Framework for Composition, Verification
and Real-Time Performance of Multimedia Interactive Scenarios. In 2015 15th International
Conference on Application of Concurrency to System Design (pp. 140–151). IEEE.
https://doi.org/10.1109/ACSD.2015.8
Currently, this code was ported to C++ and it was integrated to i-score as the plugin staticanalysis.