Problem Detection in Real-Time Systems by Trace Analysis. (6th January 2016)