Hacène FouchalEric PetitjeanSébastien SalvaTesting timed systems with timed purposes.166-1712000conf/rtcsa/2000RTCSAhttps://doi.org/10.1109/RTCSA.2000.896386https://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.896386db/conf/rtcsa/rtcsa2000.html#FouchalPS00