selected publications conference paper Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. . 952-959. 2018