[1]
Hune, T.S. 2000. Modeling a Language for Embedded Systems in Timed Automata. BRICS Report Series. 7, 17 (Aug. 2000). DOI:https://doi.org/10.7146/brics.v7i17.20144.