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