Compilation and Synthesis for Real-Time Embedded Controllers - Correct System Design: Recent Insights and Advances - page 275

References

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science ,
126:183{235, 1994.
2. E. Asarin, P. Caspi, and O. Maler. A Kleene theorem for timed automata. In
G. Winskel, editor, 12th Annual IEEE Symposium on Logic in Computer Science
(LICS'97) . IEEE Computer Society Press, 1997.
3. E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and
timed systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid
Systems II , LNCS 999, Springer-Verlag, 1995.
4. R. J. R. Back and J. von Wright. Renement calculus, Part I: Sequential nondeter-
ministic programs. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors,
Stepwise Renement of Distributed Systems | Models, Formalisms, Correctness.
REX Workshop , LNCS 430, pages 42{66, Springer-Verlag, 1989.
5. R. J. R. Back and J. von Wright. Duality in specication languages: A lattice
theoretic approach. Acta Informatica , 27(7):583{625, 1990.
6. G. Berry. The foundations of Esterel. In G. Plotkin, C. Stirling, and M. Tofte,
editors, Proof, Language, and Interaction: Essays in Honour of Robin Milner .MIT-
Press, to appear.
7. W. R. Bevier, W. A. Hunt, J S. Moore, and W. D. Young. Special issue on system
verication. Journal of Automated Reasoning , 5(4), 1989.
8. J. P. Bowen, C. A. R. Hoare, H. Langmaack, E.-R. Olderog, and A. P. Ravn. A
ProCoS II project nal report: ESPRIT Basic Research project 7071. Bulletin of
the European Association for Theoretical Computer Science (EATCS) , 59, 1996.
9. J. P. Bowen, M. Franzle, E.-R. Olderog, and A. P. Ravn. Developing correct
systems. In Proc. 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland ,
pages 176{189. IEEE Computer Society Press, 1993.
10. G. M. Brown. Towards truly delay-insensitive circuit realizations of process alge-
bras. In G. Jones and M. Sheeran, editors, Designing Correct Circuits , Workshops
in Computing, pages 120{131. Springer-Verlag, 1991.
11. H. Dierks. Synthesizing controllers from real-time specications. In Tenth Interna-
tional Symposium on System Synthesis (ISSS `97) , pages 126{133. IEEE Computer
Society Press, 1997.
12. E. W. Dijkstra. A Discipline of Programming . Prentice Hall, 1976.
13. M. Franzle. Synthesizing controllers from duration calculus. In B. Jonsson and
J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems
(FTRTFT `96) , LNCS 1135, pages 168{187, Springer-Verlag, 1996.
14. M. Franzle. Controller Design from Temporal Logic: Undecidability need not mat-
ter . Dissertation, Technische Fakultat der Christian-Albrechts-Universitat Kiel,
Germany, 1997. Available as Bericht Nr. 9710, Institut fur Informatik und Prakt.
Mathematik der Christian-Albrechts-Universit¨atKiel,Germany,andviaWWW
under URL .

15. M. Franzle and M. Muller-Olm. Towards provably correct code generation for a
hard real-time programming language. In P. A. Fritzson, editor, Compiler Con-
struction '94, 5th International Conference Edinburgh U.K. , LNCS 786, pages 294{
308, Springer-Verlag, 1994.
16. P. H. B. Gardiner and C. C. Morgan. Data renement of predicate transformers.
Theoretical Computer Science , 87, 1991. Also in [32].
17. J. D. Guttman, J. D. Ramsdell, and M. Wand. VLISP: A veried implementation
of Scheme.

http://ca.informatik.uni-oldenburg.de/ fraenzle/diss.html

Lisp and Symbolic Computation , 8:5{32, 1995.