_id,doi,title
4430,10.1007/3-540-64358-3,"HSCC: Hybrid Systems—Computation and Control"