The secondment activities concerned Tasks 2.1 and 2.4, in particular focused on developing behavioural type systems in object oriented languages (the Mungo language) that guarantee correct use of linear objects and no null pointer exceptions (relating to topics of task 2.4) and on application of such an approach in the context of Virtual Machines for sensor networks developed by the GreenByWeb company (relating to topics of task 2.1). Extensions of the approach to shared objects and concurrency are currently under evaluation.