Text this: Digital voltage-regulator exciter models for a power system labotory