TITLE     : Architectural verification of black-box component-based systems
AUTHOR(S) : Bertolino A, Muccini H, Polini A
TYPE      : Conference article
YEAR      : 2007
CODE      : 43970

*** DO NOT EDIT THIS FILE ***