_id,doi,title
4448,10.1007/3-540-60472-3_13,A note on abstract-interpretation strategies for hybrid automata