Towards a Formal Verification Approach for Cloud Software Architecture. - Amal Ayach; Layth Sliman; Mourad Kmimech; Mohamed Tahar Bhiri; Badran Raddaoui (SoMeT, 2017)