John C. Knight, Bev Littlewood: Guest Editors' Introduction: Critical Task of Writing Dependable Software. IEEE Softw. 11(1): 16-20 (1994)