Object-oriented software considerations in airborne systems and equipment certification.

Michael R. Elliott, Peter Heller

Browse the full OOPSLA paper archive.