DOI,IST REx ID,Title of publication
10.1007/3-540-64358-3,4430,"HSCC: Hybrid Systems—Computation and Control"