Predictability of real-time systems: a process-algebraic approach | IEEE Conference Publication | IEEE Xplore