Managing software reliabilitiy : the paradigmatic approach - Walker, Michael G. (rz1, 1981)