Process algebraic approach to the parametric analysis of object scheduling in real-time systems | IEEE Conference Publication | IEEE Xplore