Design Tool Assessment for Safety-Critical Software Development.

Andrew J. Kornecki, Janusz Zalewski

Browse the full SEW paper archive.