Diagnostic Determination in Real-Time Systems. - Xin Wang 257; Kaiming Shi; Mingliang Chen; Lulu He (FAIML, 2024)