CAV 2013 talk example
Merge branch 'master' of login.ccs.neu.edu:repositories/bct