DOI,IST REx ID,Title of publication
10.1007/3-540-45873-5_13,4565,A comparison of control problems for timed and hybrid systems