11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 HASE IEEE Computer Society 2008 db/conf/hase/hase2008.html