2011 IEEE 13th International Symposium on High-Assurance Systems Engineering