Effective procedure of verifying stochastic ordering of system lifetimes | Publicación