Model Checking From Tools to Theory Rajeev Alur University of Pennsylvania 25MC, FLOC, August 2006.
DARPA A Metrics System for Continuous Improvement of Design Technology Andrew B. Kahng and Stefanus Mantik.
Sua Magazine
Nested Words and Trees Rajeev Alur University of Pennsylvania Joint work with S.Chaudhuri & P.Madhusudan Games Workshop, Cambridge, UK, July 2006.