You can buy this project and download/modify it how often you want.
Files of the artifact theta-xsts version 6.6.5 from the group hu.bme.mit.theta.