I. . ZUZAK, I. . BUDISELIC, and G. DELAC, “A FINITE-STATE MACHINE APPROACH FOR MODELING AND ANALYZING RESTFUL SYSTEMS”, JWE, vol. 10, no. 4, pp. 353–390, Nov. 2011.