Fig. 2From: Verifying big data topologies by-design: a semi-automated approachIterative refinement support by OSTIABack to article page