Fig. 1From: Verifying big data topologies by-design: a semi-automated approachOSTIA extensible architectureBack to article page