Formal Modelling of Resilient Data Storage in Cloud. - Inna Pereverzeva; Linas Laibinis; Elena Troubitsyna; Markus Holmberg; Mikko Pöri (ICFEM, 2013)