This documentation belongs to the TeamPlay Contract Specification Language (CSL).
https://teamplay-h2020.eu