On the Reliability of the IBM MVS/XA Operating. - Samiha Mourad; Dorothy Andrews (IEEE Trans. Software Eng., 1987)