Research Partners

• Magne Haveraaen (Bergen, Norway)
• Christoph Lueth (Bremen, Germany)

Industrial Partners

• CARUS Information Technology AG
• Zuehlke Engineering AG
• Rolls-Royce plc
• Invensys Rail

Research Projects/Groups

• Types project
• Sensoria project
• GC-6 initiative
• IFIP TC1 WG 1.3 Foundations of System Specification