Ashmore, Rob, Howe, Andrew, Chilton, Rhiannon, Faily, Shamal, "Programming language evaluation criteria for safety-critical software in the air domain.", , 2022