Authors of the Uppaal Timed Automata Parser.

Gerd Behrmann
Marius Mikucionis
Ulrik Larsen
