_id,doi,title
647,10.1007/978-3-319-65765-3_7,Conic abstractions for hybrid systems