DOI,IST REx ID,Title of publication
10.1007/3-540-63141-0_6,4583,Modularity for timed and hybrid systems