Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).