Martin Labaj, Karol Rástocný, Daniela Chudá: Towards Automatic Comparison of Cloud Service Security Certifications. SOFSEM 2019: 298-309