Optimization of gas detector placement considering scenario probability and detector reliability in oil refinery installation. (May 2020)