A Formal and Pragmatic Approach to Engineering Safety-critical Rail Vehicle Control Software. - Michael Wasilewski; Wilhelm Hasselbring (Software Engineering, 2011)

Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical Systems. - Michael Wasilewski; Wilhelm Hasselbring; Dirk Nowotka (Software Engineering (Workshops), 2013)