[1]
T. S. Hune, “Modeling a Language for Embedded Systems in Timed Automata”, BRICS, vol. 7, no. 17, Aug. 2000.