Architecture, Services and Protocols for CRUTIAL Anas Abou El Kalan, Amine Baina, Hakem Beitollahi, Alysson Bessani, Andrea Bondavalli, Miguel Correia, Alessandro Daidone, Wagner Dantas, Geert Deconinck, Yves Deswarte, Henrique Moniz, Nuno Neves, Paulo Sousa, Paulo Verissimo DI-FCUL TR–09–5 Março 2009 Departamento de Informática Faculdade de Ciências da Universidade de Lisboa Campo Grande, 1749-016 Lisboa Portugal Technical reports are available athttp://www.di.fc.ul.pt/tech-reports. The files are stored in PDF, with the report number as filename. Alternatively, reports are available by post from the above address.