Functional Requirements-Based Automated Testing for Avionics. - Youcheng Sun; Martin Brain; Daniel Kroening; Andrew Hawthorn; Thomas Wilson; Florian Schanda; Francisco Javier Guzman Jimenez; Simon Daniel; Chris Bryan; Ian Broster (ICECCS, 2017)