"TART: Timed-Automata to Real-Time Java Tool."

Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics