Formal SenseTile Simulator Model

The below is an static diagram, written in formal BON. It is taken from the SenseTile simulator project.

You can download the plain text here.