Title: A case study in real-time refinement