ByNobleID
    An algorithm to determine mutually exclusive operations in behavioral descriptions | NobleID