Title: Strategies for Real-Time System Specification