Describir: Airborne electronic hardware design assurance :