@inproceedings{AT05,
title = {Implementation of Timed Automata: An Issue of Semantics or Modeling? },
author = {Altisen, Karine and Tripakis, Stavros},
year = {2005},
booktitle = {FORMATS},
pages = {273-288},
team = {SYNC},
}