MTBF Inconsistency Analysis on Inferred Product Breakdown Structures. - Christian Ellen; Martin Böschen; Thomas Peikenkamp (SAFECOMP Workshops, 2014)

Tracing of Informal and Formal Requirements through Model Variables. - Martin Böschen; Christian Rudat (SKY, 2015)

Bridging the Gap between Natural Language Requirements and Formal Specifications. - Martin Böschen; Ralf Bogusch; Anabel Fraga; Christian Rudat (REFSQ Workshops, 2016)