Describir: Formalización de guías clínicas del seguimiento de la Insuficiencia Cardíaca en lenguaje de lógica formal