*** Real-Time Maude 2.1 specification of AER/NCA protocol suite *** This files contains shared attributes, so that we avoid *** too many attributes. (omod SHARED-ATTS is including TIMED-OO-SYSTEM . including OID-SET . class SharedRSNCA | isNominee : Bool . class NCANOM-NCARCsender | csmNominee : DefOid . endom)