DOI,IST REx ID,Research Group,Title of publication
10.1145/2461328.2461356,2820,KrCh,Automated analysis of real-time scheduling using graph games