Modeling and Verification of Temporal Constraints for Web Service Composition. - Maya Souilah Benabdelhafid; Houda Boubaker; Mahmoud Boufaïda (SEFM, 2020)