Verificación Formal de las Propiedades de Seguridad del Modelo de Dominio de Planificación restringido por Objetivos