E.-R Olderog

• Correct system design
• Nets, terms, and formulas
• Real-time systems