OCL-Based Automated Validation Method for UML Specifications. - L. Ol'khovich; Dmitrij V. Koznov (Program. Comput. Softw., 2003)