New academic paper from Institute for Software and Systems Engineering, Technische Universität Clausthal, Germany. Abstract “A well-known challenge in the development of safety-critical systems in ...