An example of a specification of a frivolous system in
Estelle is shown in #fnest#892>.
The example illustrates that the system behaviour is directly captured by a set
of modules in a convetional programming language, together with the
state transitions and associated guards.
#figure893#
Figure: Example of Estelle