Jonathan Aldrich Gary T. Leavens Michael Barnett Natasha Sharygina Dimitra Giannakopoulou Specification and verification of component-based systems 2007. 609-610 2007 ESEC/SIGSOFT FSE (Companion) http://doi.acm.org/10.1145/1295014.1295056 conf/sigsoft/2007c db/conf/sigsoft/fse2007c.html#AldrichLBSG07