_id,doi,title
2819,10.1145/2461328.2461370,Quantitative timed simulation functions and refinement metrics for real-time systems