My thesis is now officially uploaded to Virginia Tech's ETD Digital Library.
I have finally posted an overview of nContract on my site for those who are interested. I have also uploaded my thesis and the source code for nContract.
If you have questions or comments please feel free to post a comment here or in my nContract forum.
Here is a slightly updated overview image as a teaser.
Hope you enjoy!