T

tiamo

The Timed Automata Model-Checker