The CTS protocol specification

Please see the web site with the formal specification hosted on github.