Re: [acs-wg] OASIS SDD TC Formal requirements