Goulão, Miguel & Brito e Abreu, F. (2004). Formalizing metrics for COTS. In Proceedings of MPEC’2004 @ ICSE'2004. (pp. 37-40). Edinburgh