_id,doi,title
4583,10.1007/3-540-63141-0_6,Modularity for timed and hybrid systems