I am currently performing research for the 4-year Deploy EU Project that focuses on formal methods in systems engineering.  Any commercial entities may participate in various ways.