Documentation for the HA-STS project