Avionics Certification: A Complete Guide to DO-178 (Software), DO-254 (Hardware)