Lijun Shan: Towards DO-178C Compliance of a Secure Product. SAFECOMP Workshops 2023: 61-72