_id,doi,title
1694,10.1109/TAC.2015.2404612,Quantitative temporal simulation and refinement distances for timed systems