Source Code of the Monitoring Frameworks FERRET and HAECER