DOI,IST REx ID,Title of publication
null,4428,Automatic analysis of hybrid systems