Marc Born Ina Schieferdecker Mang Li Test Framework for Component-Based Systems. E75-E78 2000 conf/icdcsw/2000 ICDCS Workshop on Distributed System Validation and Verification db/conf/icdcsw/icdcsw2000.html#BornSL00