Text this: Service level agreement checking in cloud computing in terms of verification and validation concepts