RMF/ReqIF
From Eclipsepedia
< RMF
ReqIF stands for Requirements Interchange Format. It is an exchange format for requirements and a data model. ReqIF is the successor of RIF and an OMG standard.
RMF supports ReqIF 1.0.1 (official OMG standard).
The ProR GUI does support ReqIF.