Towards Component Verification in the Generic Component Framework Padberg, Julia Ehrig, Hartmut Orejas, Fernando 2009 - ReposIt