Monitoring Components by Using Aspects and Contracts in Wrappers