Fig. 9From: Verifying big data topologies by-design: a semi-automated approachIndustrial case-study, a refactored architectureBack to article page