Günzel, MarioChen, Jian-Jia2021-05-312021-05-312020-08-18http://hdl.handle.net/2003/40234http://dx.doi.org/10.17877/DE290R-22107en004Correspondence article: counterexample for suspension-aware schedulability analysis of EDF schedulingText