Andrés Terrasa Guillem Bernat Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis. 466-485 https://doi.org/10.1007/978-3-540-24686-2_29 2003 conf/rtcsa/2003 RTCSA db/conf/rtcsa/rtcsa2003.html#TerrasaB03