A Case Study of The Application of BS:EN 61508 in Electrical Power Generation | IET Conference Publication | IEEE Xplore