Towards Component Verification in the Generic Component Framework | Publicación