ZUZAK, I. ., I. . BUDISELIC, and G. DELAC. “A FINITE-STATE MACHINE APPROACH FOR MODELING AND ANALYZING RESTFUL SYSTEMS”. Journal of Web Engineering, vol. 10, no. 4, Nov. 2011, pp. 353-90, https://journals.riverpublishers.com/index.php/JWE/article/view/4041.