Какой основной язык программирования используется для самолета F35 Lightning II?

Насколько я понимаю, ADA использовался для F22. Какой основной язык программного обеспечения на F35?