Demystifying DO-254