V. V. Shkarupylo, R. K. Kudermetov, and O. V. Polska, “DEVS-ORIENTED TECHNIQUE FOR COMPOSITE WEB SERVICES VALIDITY CHECKING”, RIC, no. 4, Feb. 2015.