Integration of Functional and Timed Testing of Real-Time and Concurrent Systems