Michael Jastram

• The ProR Approach : Traceability of Requirements and System Descriptions
• ReqIF Studio
• Rodin User's Handbook