Digital protection for power systems - Johns (IEE power series;, 1995)