_id,doi,title
4570,10.1007/978-3-540-73420-8_71,Minimum-time reachability in timed games