A Software Development System for Reliable Applications. - Patrick E. White; Mary R. Feay (IEEE Trans. Commun., 1982)