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

Terrasa Barrena Andrés Martín, GUILLEM BERNAT

2004

Lecture Notes in Computer Science