From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation. - Yousra Bendaly Hlaoui; Ahlem Ben Younes; Leila Jemni Ben Ayed; Manel Fathalli (COMPSAC (2), 2017)