Bianculli, et al.. Offline Trace Checking of Quantitative Properties of Service-based Applications. IEEE, 2014, doi:10.1109/soca.2014.14.