Context-Based Analysis of System Execution Traces for Validating Distributed Real-Time and Embedded System Quality-of-Service Properties.