Material developed in PUC-MG course about High Availability Management