ByNobleID
    Specifying reactive systems by abstract events | NobleID