Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. - Manuel I. Capel; José R. Balsas; Juan Antonio Holgado Terriza (VVEIS, 2004)