Dependability Analysis of a Digital Excitation Control System