Re: [cddlm] [Fwd: OASIS SDD TC Formal requirements]