Real-Time Systems

---

Table of Contents

• Bakery Algorithm
  • Real-Time Refinements
• Group Membership Protocol
• Hybrid ASMs
• Railroad Crossing Problem
  • Model Checking and Railroad Crossing
  • Continuous Time Logic
  • Verification of Timed Algorithms (survey)
• SDL-92
• SDL-2000