Modular Verification of Object-Based Programs -- The COST IC0701