Protection Systems that verify and supervise themselves | IEEE Conference Publication | IEEE Xplore