Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis.

Andrs Terrasa, Guillem Bernat

Browse the full RTCSA paper archive.