Validation of Ultrahigh Dependability for Software-Based Systems (1993)

by B Littlewood, L Strigini
Venue:Communications of the ACM