A calculus of real time systems - Wang, Yi (Chalmers Tekniska Högskola, 1991)