Software Engineering with PSF
Currently, the following examples are available. They include a specification of the architecture.