Models and axioms for a fragment of real time process algebra - Klusener, Anton Stefanus (Technische Universiteit Eindhoven, 1993)