inesctecINESC TEC is a private non-profit research institution working in the interface between the academic world and the industrial and service companies as well as the public administration. Main activities are scientific research and technological development, technology transfer, consulting and advanced training programs in the following areas: Industrial and Manufacturing Engineering, Business Networking, Information Technologies, Telecommunications and Electronics. In particular, the High Assurance Software Laboratory (HASLab), based at the U. Minho, is a team with twenty researchers combining work on formal methods, information security, and dependable distributed systems. This team has coordinated the GORDA FP6 project and is a partner in CumuloNimbo FP7 project. HASLab maintains long term collaboration with the national through consulting and technology transfer projects. Moreover, HASLab will participate as co-founder of the startup that will commercialize some of the results from CoherentPaaS.