Text this: A case study on parametric verification of failure detectors