DOI,IST REx ID,Title of publication
10.1007/3-540-60472-3_13,4448,A note on abstract-interpretation strategies for hybrid automata