Here you can find additional information and downloads.
Formal Specifications
Download-Area
Training Information