Verifikacija pouzdanosti modificirane Guhlmannove konstrukcije - Korlaet, Željko (Array, 1990)