Test platform for fault tolerant systems design properties verification | IEEE Conference Publication | IEEE Xplore