Broy, Manfred - In: European Review 18 (2010) 04, pp. 507-563
For digital interactive distributed systems, the timing of their events and the causality between their events are key issues. In real-time applications of embedded software systems, timing properties are essential, such as the response times of reactions depending on the precise timing of the...