2012 IEEE 14th International Symposium on High-Assurance Systems Engineering
Off-Campus Access: Athens ID and Password Required