Shkarupylo, V. V.; Kudermetov, R. K.; Polska, O. V. DEVS-ORIENTED TECHNIQUE FOR COMPOSITE WEB SERVICES VALIDITY CHECKING. RIC 2015.