Fabio A. Schreiber
University of Parma, Parma, Italy
Analysis of techniques in the assessment of ultra-reliable computerized systems
ACM SIGSOFT Software Engineering Notes