Formal Methods for Real-Time Computing: an Overview