Summary
The first version of the architecture is described in the chosen formal description technique.
More information & hyperlinks