Method and specification tools for Airbus onboard systems. - Dominique Brière; D. Ribot; Daniel Pilaud; J.-L. Camus (Microprocess. Microsystems, 1995)