Jonathan Aldrich Michael Barnett Dimitra Giannakopoulou Gary T. Leavens Natasha Sharygina Specification and verification of component-based systems 2007. 609-610 2007 conf/sigsoft/2007 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1287624.1287724 db/conf/sigsoft/fse2007.html#AldrichBGLS07