Software engineering and its application to avionics

by North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development.