Added Dia (apt-get install dia) Diagrams to specify a little bit of the
behaviour of the system.