Toward a Formal Traceability Model for Efficient Security Validation. - Christof Ebert; Ruschil Ray (Computer, 2021)

Test-Driven Requirements Engineering. - Christof Ebert; Ruschil Ray (IEEE Softw., 2021)