Eyton Ferguson Ezra Kaahwa Mugisa An Approach for Incremental Certification of Software Components. 656-660 2008 Software Engineering Research and Practice conf/serp/2008 db/conf/serp/serp2008.html#FergusonM08