Value and level of detail of software High-Level Requirements under DO-178C