Model Based Testing for Real-Time Systems by Moez Krichen