During the secondment I gained familiarity with the processes, problems, and technologies involved in Freeland’s work. They develop ah hoc products for their customers, plus a few off-the shelf products that were initially developed for internal consumption. Our interaction mostly focused on their product APIgator, an automatic generator of consumable API documentation (focused on the design, code and test phases, whereas monitoring and deployment are left as future work). We discussed possible extensions of APIgator, to include behavioural information. Other, more theoretical discussion involving colleagues at the University of Bologna, concerned the extension with time of reversible behaviour — we started working on this — and asynchronous refinement.