Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon. Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability. In Alejandra Cechich, Mario Piattini, Antonio Vallecillo, editors, Component-Based Software Quality - Methods and Techniques. Volume 2693 of Lecture Notes in Computer Science, pages 259-286, Springer, 2003. [doi]
Abstract is missing.