Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability