Dependability Analysis of a Digital Excitation Control System | IEEE Conference Publication | IEEE Xplore