_id,doi,title 738,10.1007/s11241-017-9293-4,Automated competitive analysis of real time scheduling with graph games