...presenting a combination of leading European industrial players in systems engineering along with academic partners with internationally leading expertise in formal verification and simulation tools. Systerel and the Univs. of Düsseldorf and Southampton will lead the development of novel methods and tools while Alstom and Critical Software will apply these to the engineering of intelligent transpo ...