Functional requirements-based automated testing for avionics by Sun, Y, Brain, M, Kroening, D, Guzmán Jiménez, F, Daniel, S, Hawthorn, A, Wilson, T, Schanda, F, Bryan, C, Broster, I