Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud. - Lydia Yataghene; Malika Ioualalen; Mourad Amziani; Samir Tata (ICSOC Workshops, 2016)