Daniel Brenner Colin Atkinson Rainer Malaka Matthias Merdes Barbara Paech Dima Suliman Reducing verification effort in component-based software engineering through built-in testing. 151-162 2007 9 Information Systems Frontiers 2-3 http://dx.doi.org/10.1007/s10796-007-9029-4 db/journals/isf/isf9.html#BrennerAMMPS07