Certification Formal Evaluation of The Cardiac Pacemaker Resynchronization Therapy