Title: Formal Methods and Digital Systems Validation for Airborne Systems