Constraint-based schedulability analysis in real-time systems - 이혁 李奕 (Graduate School, Korea Unversity, 2019)