Open-PSA Model Exchange Formal