_id,doi,title
1836,10.1007/978-3-662-46669-8_5,Segment abstraction for worst-case execution time analysis