oee-mas-formal-systems: Members