Metastability as a failed conditional discharge of rely-guarantee composition