Implementing duration calculus specifications by timed automata
Kääramees, Marko
Abstracts of NWPT'96, Oslo 1996
1996
/
p. 10