M. C. Goulão and F. M. Abreu,  "Formalizing metrics for COTS", in Proc. of MPEC’2004 @ ICSE'2004, Edinburgh, 2004, pp. 37-40