_id,doi,title
4450,10.1007/3-540-60045-0_53,Algorithmic analysis of nonlinear hybrid systems