The specific contribution of Oldenburg will be the formulation of a specification language SLtime for untimed and timed behaviour of communicating programs; and the development and correctness proof of compositional transformation rules for a design calculus. This will extend the work of Oldenburg in ProCoS I in the following directions: