Murali Sitaraman Steven Atkinson Gregory Kulczycki Bruce W. Weide Timothy J. Long Paolo Bucci Wayne D. Heym Scott M. Pike Joseph E. Hollingsworth Reasoning about Software-Component Behavior. 266-283 2000 conf/icsr/2000 ICSR db/conf/icsr/icsr2000.html#SitaramanAKWLBHPH00 http://dx.doi.org/10.1007/b75206