Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi: Cloud calculus: Security verification in elastic cloud computing platform. CTS 2012: 447-454