Implementation of the Temporal Stream-based Specification Language
Specification document of the TeSSLa language.