Dr. Ramaswamy worked jointly with T-VEC to develop models presented in "Model-based Automated Security Functional Testing" the at OMG's Seventh Annual Workshop on DISTRIBUTED OBJECTS and COMPONENTS SECURITY.