Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni: Parametric and probabilistic model checking of confidentiality in data dispersal algorithms. HPCS 2016: 476-483