Modelling And Analysis Of Execution Traces From Real-Time Applications