ZUZAK, I. , BUDISELIC, I. and DELAC, G. 2011. A FINITE-STATE MACHINE APPROACH FOR MODELING AND ANALYZING RESTFUL SYSTEMS. Journal of Web Engineering. 10, 4 (Nov. 2011), 353–390.