Maria Spichkova: Refinement-Based Verification of Interactive Real-Time Systems. Refine@FM 2008: 131-157