Verification of Real-Time Applications Using the Epsilon System