DOI,IST REx ID,Title of publication
10.1109/LICS.1996.561342 ,4519,The theory of hybrid automata