Jeffrey M. Voas, Keith W. Miller, Jeffery E. Payne. A software analysis technique for quantifying reliability in high-risk medical devices. In Sixth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'93), June 13-16, 1993, Ann Arbor, MI, USA. pages 64-69, IEEE Computer Society, 1993. [doi]
Abstract is missing.