The support tool for highly reliable component-based software development.

Michihiro Matsumoto, Kokichi Futatsugi

Browse the full APSEC paper archive.