Barati, Masoud, "A Formal Technique for Composing Cloud Services", Information Technology And Control, 2025