Srinivas asked for a paper about SCG, the application domain of our software project. http://www.ccs.neu.edu/home/lieber/papers/SCG-Paper/main.pdf -- Karl