Figure 2:
Complete UML state diagram of the PELICAN crossing.
