Text this: MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems