DOI,IST REx ID,Research Group,Title of publication
10.1109/TAC.2015.2404612,1694,KrCh,Quantitative temporal simulation and refinement distances for timed systems