Model-checking for validation of a fault protection system | IEEE Conference Publication | IEEE Xplore