An Approach of Requirements Tracing in Formal Refinement. - Michael Jastram; Stefan Hallerstede; Michael Leuschel; Aryldo G. Russo (VSTTE, 2010)

Requirements, Tracability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF). - Andreas Graf; Michael Jastram (MBEES, 2011)

Mixing Formal and Informal Model Elements for Tracing Requirements. - Michael Jastram; Stefan Hallerstede; Lukas Ladenberger (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Developing Camille, a text editor for Rodin. - Jens Bendisposto; Fabian Fritz; Michael Jastram; Michael Leuschel; Ingo Weigelt (Softw. Pract. Exp., 2011)

ProR - Eine Softwareplattform für Requirements Engineering. - Michael Jastram (Softwaretechnik-Trends, 2011)

ReqIF: Seamless Requirements Interchange Format between Business Partners. - Christof Ebert; Michael Jastram (IEEE Softw., 2012)

The ProR Approach: Traceability of Requirements and System Descriptions. - Michael Jastram (2012)

The Eclipse Requirements Modeling Framework. - Michael Jastram (Managing Requirements Knowledge, 2013)

Integration von Anforderungen mit dem Eclipse Requirements Modeling Framework. - Michael Jastram (Softwaretechnik-Trends, 2013)

A method and tool for tracing requirements into specifications. - Stefan Hallerstede; Michael Jastram; Lukas Ladenberger (Sci. Comput. Program., 2014)

Mit KI die Komplexität der Produktentwicklung beherrschen. - Michael Jastram (Softwaretechnik-Trends, 2022)