Working paper No. 4 – Modular Certification of Cloud Services