Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis | Publicación