SMS: Modelamiento de protecciones utilizando ATP