ESTELLE: a method to analyze automatically the performance of telecontrol protocols in SCADA systems | Publicación