In: Desel, J.: Structures in Concurrency Theory, Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995, pages 32-54. 1995.
Abstract: We present a transformational approach to the design of real-time systems. The starting point are requirements formulated in a subset of Duration Calculus called implementables and the target are program specifications in a language SL that combines regular expressions with action systems and time conditions. While Duration Calculus is state-based, SL is event-based and can be seen as a stepping stone towards a timed OCCAM-like programming language. The approach is illustrated by the example of a computer controlled gas burner.