Documentaton of the implemented monitor