R. T. Fielding, Architectural styles and the design of network-based software architectures, p.9980887, 2000.

A. Gill, Introduction to the theory of finite-state machines, ser. McGraw-Hill electronic sciences series, 1962.

E. F. Moore, Gedanken-Experiments on Sequential Machines, Automata Studies . Princeton U, pp.129-153, 1956.
DOI : 10.1515/9781400882618-006

G. H. Mealy, A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955.
DOI : 10.1002/j.1538-7305.1955.tb03788.x

K. Schneider, Verification of Reactive Systems: Formal Methods and Algorithms, ser. Texts in Theoretical Computer Science. An EATCS Series, 2004.
DOI : 10.1007/978-3-662-10778-2

J. Ellson, E. R. Gansner, E. Koutsofios, S. C. North, and G. Woodhull, Graphviz and Dynagraph ??? Static and Dynamic Graph Drawing Tools, GRAPH DRAWING SOFTWARE, pp.127-148, 2003.
DOI : 10.1007/978-3-642-18638-7_6

G. Behrmann, A. David, and K. G. Larsen, A tutorial on uppaal in Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM- RT, pp.200-236, 2004.