Validating Metrics for OCL Expressions Expressed within UML/OCL models In Proceedings of the 1st International Workshop on Software Audits and Metrics - Volume 0ICEIS, 59-68, 2004 , Porto, Portugal