Airborne Electronic Hardware Design Assurance: A Practitioner's Guide to RTCA/DO-254