Strategies for Real-Time System Specification