1. Mikhail Auguston, James Bret Michael, Man-Tak Shing, Environment Behavior Models for Scenario Generation and Testing Automation, in Proceedings of the First International Workshop on Advances in Model-Based Software Testing (A-MOST'05), the 27^th International Conference on Software Engineering ICSE’05, May 15-16, 2005,  St. Louis, USA  (PDF)
2. Mikhail Auguston, James Bret Michael, Man-Tak Shing, Test Automation and Safety Assessment in Rapid Systems Prototyping, in the Proceedings of  16th IEEE International Workshop on Rapid System Prototyping, June 8-10, 2005, Montreal, Canada, pp.188-194
3. Mikhail Auguston, James Bret Michael, Man-Tak Shing, and David L. Floodeen, “Using Attributed Event Grammar Environment Models for Automated Test Generation and Software Risk Assessment of System-of-Systems”, in the Proceedings of 2005 IEEE International Conference on Systems, Man, and Cybernetics, Special Session on Recent Advances in Engineering Systems-of-Systems to Support Joint and Coalition Warfighters, October 10-12, 2005, The Big Island, Hawaii, USA
4. M.Auguston, B.Michael, M.Shing, Environment Behavior Models for Automation of Testing and Assessment of System Safety, Information and Software Technology, Elsevier, Volume 48, Issue 10 , October 2006, pp. 971-980
5. M.Auguston, “New Directions in  Software Quality Assurance Automation”, 14th International Command and Control Research and Technology Symposium, 14th ICCRTS, June 15-17, 2009, Washington, DC (PDF)