Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain. - Rob Ashmore; Andrew Howe; Rhiannon Chilton; Shamal Faily (ISSRE Workshops, 2022)