The use of structured methods in the development of large software-based avionics systems