Minor cleanups throughout.
Fixed some poor wording in software design section.
Merge branch 'master' of github.com:gilbertgede/idetc-2013-paper
more minor fixes