Validation of Ultra-High Dependability for Software-based Systems (1993)

by B Littlewood, L Strigini
Venue:Comm. of the ACM