A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems.

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases