S. Areias, D. Cruz, P. Henriques, and J. Pinto, “Safe Integration of Annotated Components in Open Source Projects”, eceasst, vol. 33, Dec. 2010.