Hanmei Cui, Jessica Chen: On Formal MOM Modeling. ISPA 2007: 563-576