Architectural styles and the design of network-based software architectures, p.9980887, 2000. ,
Introduction to the theory of finite-state machines, ser. McGraw-Hill electronic sciences series, 1962. ,
Gedanken-Experiments on Sequential Machines, Automata Studies . Princeton U, pp.129-153, 1956. ,
DOI : 10.1515/9781400882618-006
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
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
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
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. ,