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

40. A. P. Ravn. Design of Embedded Real-Time Computing Systems . Doctoral dis-
sertation, Department of Computer Science, Danish Technical University, Lyngby,
DK, 1995. Available as technical report ID-TR: 1995-170.
41. A. P. Ravn, H. Rischel, and K. M. Hansen. Specifying and verifying requirements
of real-time systems. IEEE Transactions on Software Engineering , 19(1):41{55,

1993.
42. A. P. Ravn and H. Rischel. Real-time constraints in the ProCoS layers. In E. R.
Olderog and B. Steen, editors, Correct System Design ,thisvolume.
43. J. W. Thatcher, E. G. Wagner, and J. B. Wright. More on advice on structuring
compilers and proving them correct. Theoretical Computer Science , 15:223{249,

1981.
44. W. Thomas. On the synthesis of strategies in innite games. In Meyer and Puech
[29], pages 1{13.
45. T. Wilke. Automaten und Logiken zur Beschreibung zeitabhangiger Systeme . Dis-
sertation, Technische Fakultat der Christian-Albrechts-Universitat Kiel, Germany,
1994.
46. T. Wilke. Specifying timed state sequences in powerful decidable logics and timed
automata. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal
Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT `94) , LNCS 863,
pages 694{715, Springer-Verlag, 1994.
47. M. W. Wilkes and J. B. Stringer. Micro-programming and the design of the control
circuits in an electronic digital computer. Proc. Cambridge Phil. Soc. , 49:230{238,
1953. also Annals of Hist. Comp. 8 , 2 (1986) 121{126.
48. Zhou Chaochen, M. R. Hansen, and P. Sestoft. Decidability and undecidability
results for duration calculus. In P. Enjalbert, A. Finkel, and K. W. Wagner, editors,
Symposium on Theoretical Aspects of Computer Science (STACS 93) , LNCS 665,
pages 58{68, Springer-Verlag, 1993.
49. Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Infor-

mation Processing Letters , 40(5):269{276, 1991.