Jason Kirschenbaum Bruce M. Adcock Derek Bronish Hampton Smith Heather K. Harton Murali Sitaraman Bruce W. Weide Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? 31-40 2009 ICSR http://dx.doi.org/10.1007/978-3-642-04211-9_4 conf/icsr/2009 db/conf/icsr/icsr2009.html#KirschenbaumABSHSW09