GitHub repository: rohitverma007/utap
Description: Uppaal Timed Automata Parser