Fig. 4From: Verifying big data topologies by-design: a semi-automated approachThe cycle-in anti-patternBack to article page