_id,doi,title
4519,10.1109/LICS.1996.561342 ,The theory of hybrid automata