Add to ORKGAbstract: The trend towards more complex software within today’s technical sys-tems results in an increasing demand for dependable high quality software for real-time systems. In this report the foundations for the compositional pattern-based design of correct high level designs and architectures for real-time systems are pre-sented. A formal calculus including a notion of discrete-time automata, a deadlock preserving refinement notion, and a class of supported compositional constraints is developed. It permits to design the required complex cooperation between the sys-tem components using verified patterns and includes support to derived the related correct component behavior in a systematic manner, such that the components itsel