The examples presented in the paper can be loaded using the Example link in the upper right corner.
An introduction to the TeSSLa language can be found on the official TeSSLa website.
We are using TeSSLa 0.6.5-SNAPSHOT available on the official TeSSLa website. You can download all the example specifications and traces available in this web IDE and use them offline, too. Further, you can download the scripts used for the empirical evaluation presented in the paper.