Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study | IEEE Conference Publication | IEEE Xplore