Fig. 3From: Verifying big data topologies by-design: a semi-automated approachThe multi-anchoring anti-patternBack to article page