Title: Software engineering and its application to avionics