Fig. 11From: Verifying big data topologies by-design: a semi-automated approachDigitalPebble topologyBack to article page