DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-46669-8_5,1836,ToHe,Segment abstraction for worst-case execution time analysis