Problem Detection in Real-Time Systems by Trace Analysis (Advances in Computer Engineering, 2016)