Real-Time System Specification Strategies