Anyone here work on the flight control software? What's it written in? ada?

Curious how complex it is since it has to handle multiple engine failure scenarios etc...