Correct Real-Time Software for Programmable Logic Controllers - Correct System Design: Recent Insights and Advances - page 348

9. H. Dierks, C. Dietz. Graphical specication and reasoning: case study \Gen-
eralized Railroad Crossing". In J. Fitzgerald, C.B. Jones, and P. Lucas, edi-
tors, Formal Methods: Their Industrial Application and Strengthened Founda-
tions (FME'97) , LNCS 1313 (Springer-Verlag, 1997) 20{39.
10. H. Dierks, A. Fehnker, A. Mader, F.W. Vaandrager. Operational and logical
semantics for polling real-time systems. In A.P. Ravn, H. Rischel, editors, Formal
Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98) , Lecture
Notes in Computer Science volume 1486, pages 29{40, Springer-Verlag, 1998.
11. H. Dierks, J. Tapken. Tool-supported hierarchical design of distributed real-time
systems. In: Proc. IEEE EuroMicro`98 , Berlin, 1998.
12. C. Dietz, Graphical formalization of real-time requirements. In B. Jonsson and
J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems,
LNCS 1135 (Springer-Verlag, 1996) 366{385.
13. S. Fowler, A. Wellings. Formal analysis of a real-time kernel specication. In:
[21] 440{458.
14. R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel (Eds.). Hybrid Systems .LNCS
736 (Springer-Verlag, 1993)
15. M.R. Hansen, Zhou Chaochen, Duration Calculus: Logical Foundations. Formal
Aspects of Computing , 9 (1997) 283-330.
16. D. Harel. Statecharts: a visual formalism for complex systems. Science of

Comp. Progr. (1997) 231{274.
17. Jifeng He, C.A.R. Hoare, M. Franzle, M. Muller-Olm, E.-R. Olderog, M. Schenke,
M.R. Hansen, A.P. Ravn, and H. Rischel. Provably correct systems. In: [24] 288{
335.
18. C. Heitmeyer and D. Mandrioli (Eds.), Formal Methods for Real-Time Comput-
ing . Trends in Software, Vol.5, (Wiley, 1996).
19. IEC International Standard 1131-3, Programmable Controllers, Part 3, Program-
ming Languages, 1993
20. ITU-T, ITU-T Recommendation Z.120: Message Sequence Chart (MSC). ITU
General Secretariat, Geneva, 1994.
21. B. Jonsson, J. Parrow (Eds.), Formal Techniques in Real-Time and Fault-
Tolerant Systems . LNCS 1135 (Springer-Verlag, 1996).
22. M. Joseph (Ed.). Real-time Systems { Specication, Verication and Analysis
Prentice Hall, 1996.
23. B. Krieg-Bruckner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer. UniForM {
Universal Formal Methods Workbench. In: U. Grote and G. Wolf (Eds.), Sta-
tusseminar des BMBF Softwaretechnologie (BMBF, Berlin, 1996) 357{377.
24. H. Langmaack, W.-P. de Roever, J. Vytopil (Eds.). Formal Techniques in Real-
Time and Fault-Tolerant Systems . LNCS 863 (Springer-Verlag, 1994).
25. K.G. Larsen, B. Steen, C. Weise. Countinuous modeling of real time and hybrid
systems: from concepts to tools. Software Tools for Technology Transfer (STTT)
1, 1997, 64{85.
26. R.W. Lewis. Programming industrial control systems using IEC 1131-3 .The
Institution of Electrical Engineers, 1995.
27. S. Mauw, M.A. Reniers. An Algebraic Semantics of Basic Message Sequence
Charts. The Computer Journal 37, No. 4 (1994) 269{277.
28. E.-R. Olderog, H. Dierks, Decomposing real-time specications. In H. Lang-
maack, A. Pnueli, W.-P. de Roever, editors, Compositionality: The Signicant
Dierence , LNCS (Springer-Verlag, 1998) 465{489.
29. E.-R. Olderog, A.P. Ravn, J.U. Skakkebk. Rening system requirements to
program specications. In: [18] 107{134.