Add of the LTLValidator description