Alexander Egyed Robert Balzer Integrating COTS Software into Systems through Instrumentation and Reasoning. 41-64 2006 13 Autom. Softw. Eng. 1 http://dx.doi.org/10.1007/s10515-006-5466-4 db/journals/ase/ase13.html#EgyedB06