Text this: Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models