Design Calculus.

A proper integration of time and concurrency into a program design calculus is the most challenging task of Oldenburg. We plan to cope with this task as follows:

• A transformational approach to the design and verification of concurrent systems is being developed. [32] shows several ideas in this area along with a detailed case study.

• The design rules need to establish links between the discrete time calculus and the continuous real-time models and between global and local timing constraints.