Reliability Experience with Chi/OS. - William C. Lynch; John W. Langner; Marvin S. Schwartz (IEEE Trans. Software Eng., 1975)