_id,doi,title
1667,10.1007/978-3-319-22264-6_10,Optimizing performance of continuous-time stochastic systems using timeout synthesis