The parties worked on studying Partial Identity Monitors, developed at CMU, as a mechanism for enforcing behavioural API properties at runtime.  They also investigated ways for having a hybrid approach, where parts of the checks are carried out statically and others are checked dynamically. This secondment was related to tasks T3.4 (Static Verification of b-APIs consumers) and T3.5 (Dynamic Verification of b-APIs Implementations)