What methodologies do you use to ensure your code complies with safety-critical standards, such as DO-178C in aerospace?