Domain Class Diagram Validation Procedure Based on Mereological Analysis for Part-Whole Relations. RBCA 2014, 6 (2), 48-60. https://doi.org/10.5335/rbca.2014.3771.