Avionic systems, design, and software : selected papers from Aerotech 95 (IMechE seminar publication, 1996)