The HATS project delivered an invited talk titled 'Modelling Distributed Adaptable Object Oriented Systems using HATS Approach: A Fredhopper Case Study' at 2nd International Conference on Formal Verification of Object-Oriented Software, which took place in Turin, Italy during October 5-7, 2011.