IEEE High Assurance Systems Engineering Symposium, Dec 3-5, 2008, Nanjing, China