ARINC 653 - Achieving software re-use. - A. Cook; K. J. R. Hunt (Microprocess. Microsystems, 1997)