Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets. - Saoussen Cheikhrouhou; Nesrine Chabouh; Slim Kallel; Zakaria Maamar (MEDI Workshops, 2018)