A novel approach to tracing safety requirements and state-based design models.

Mounifah Alenazi, Nan Niu, Juha Savolainen

Browse the full ICSE paper archive.