Uncertainty Problem in High-level Model Based Trace Analysis as Part of Runtime Verification. - Karnov, A. (Programming & Computer Software, 2025)