Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Andrea Nodari, Pooyan Jamshidi: Verifying big data topologies by-design : a semi-automated approach. J. Big Data 6: 40 (2019)