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

Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings

Browse the full SEFM paper archive.