Other documents Second Report on WP2 Periodic Project Report d9.1a d6.1 Third Report on WP4 d10.1A d3.1 d7.1 Third Report on WP1 Second Report on WP8 Third Report on WP8 Second Report on WP6 d5.1 d1.1 d8.1 Progress Report on Dissemination, Collaboration and Exploitation Third Report on WP2 Periodic Project Report Third Report on WP7 Joint Deliverable: Software Engineering for SCEs d9.1b Second Report on WP4 Joint Deliverable: Verification Results applied to the Case Studies Second Report on WP5 Progress Report on Dissemination, Collaboration and Exploitation Second Report on WP1 d2.1 Joint Deliverable: Modelling and Verification Techniques for SCEs Second Report on WP3 Third Report on WP3 d4.1 Third Report on WP6 Third Report on WP5 Second Report on WP7 Joint Deliverable: Languages and Knowledge Models for Self-Awareness and Self-Expression JD