Formal modeling and verification of cloud-based web service composition. - Syed Asad Raza Kazmi; Awais Qasim; Adnan Khalid; Ruttaba Assad; Muhammad Shahbaz 002 (Concurr. Comput. Pract. Exp., 2020)