Effective procedure of verifying stochastic ordering of system lifetimes. (16th January 2019)