Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. - Rania Ben Halima; Imen Zouaghi; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (AINA, 2018)