Michihiro Matsumoto, Kokichi Futatsugi. The support tool for highly reliable component-based software development. In 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore. pages 172-179, IEEE Computer Society, 2000. [doi]
Abstract is missing.