John Knapman. Statistical Constraints and Verification. In Tony Clark, Jos Warmer, editors, Object Modeling with the OCL, The Rationale behind the Object Constraint Language. Volume 2263 of Lecture Notes in Computer Science, pages 172-188, Springer, 2002. [doi]
Abstract is missing.