Fig. 7From: Verifying big data topologies by-design: a semi-automated approachFinite state automaton describing bolt statesBack to article page