Adapting System Execution Traces for Validation of Distributed System QoS Properties | IEEE Conference Publication | IEEE Xplore