A formal framework for analyzing reusability complexity in component-based systems | Publicación