DOI,IST REx ID,Title of publication
10.1109/9.664156 ,4491,Algorithmic analysis of nonlinear hybrid systems