Formal Methods for the Design of Real-Time Systems (SFM 2004)