Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang. A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. Journal of Logic and Algebraic Programming, 92:1-18, 2017. [doi]
Abstract is missing.