DOI,IST REx ID,Research Group,Title of publication
10.1145/2461328.2461370,2819,KrCh,Quantitative timed simulation functions and refinement metrics for real-time systems