Model Based Testing for Real-Time Systems