El Sabbagh, Habib A (2006) A quality assurance model for airborne safety-critical software. Masters thesis, Concordia University.