Formal Methods for Real-Time Computing