After starting the Docker Container of the Tex Toolbox back-end, its web services are up and running. The Dependability Toolbox is accessible through the following end point: