Specification and Test of Real-Time Systems