Certification Facilities for Software (CERFAS): CERFAS summary report