_id,doi,title
2820,10.1145/2461328.2461356,Automated analysis of real-time scheduling using graph games