ZUZAK, I. .; BUDISELIC, I. .; DELAC, G. A FINITE-STATE MACHINE APPROACH FOR MODELING AND ANALYZING RESTFUL SYSTEMS. JWE 2011, 10, 353-390.