_id,doi,title
1541,10.1007/978-3-319-26287-1_1,XSpeed: Accelerating reachability analysis on multi-core processors