_id,doi,title
4491,10.1109/9.664156 ,Algorithmic analysis of nonlinear hybrid systems