A Checking Service Composition Approach based on Model Transformation. - Redouane Nouara; Allaoua Chaoui (Int. J. Embed. Real Time Commun. Syst., 2016)