Dimitra Giannakopoulou Corina S. Pasareanu Colin Blundell Assume-guarantee testing for software components. 547-562 2008 2 IET Software 6 http://dx.doi.org/10.1049/iet-sen:20080012 db/journals/iee/iet-s2.html#GiannakopoulouPB08