Modelling and optimization of proof testing policies for safety instrumented systems | Publicación