Checking Temporal Service Level Agreements for Web Service Compositions with Temporal Parameters.