A CASE STUDY ON PARAMETRIC VERIFICATION OF FAILURE DETECTORS[J] LOGICAL METHODS IN COMPUTER SCIENCE 2022(19) Tran, Thanh-hai Konnov, Igor Widder, Josef