Wright, S. (2015, June). Model based testing of avionics. Presented at Model Driven Engineering 2015, West Sussex, England