Also a good read, with more on the airworthiness of the 'plane itself...

https://spectrum.ieee.org/aerospace/aviation/how-the-boeing-737-max-disaster-looks-to-a-software-developer