DOI,IST REx ID,Title of publication
10.1007/3-540-60045-0_53,4450,Algorithmic analysis of nonlinear hybrid systems