Domain class diagram validation procedure based on mereological analysis for part-whole relations. (2014). Revista Brasileira De Computação Aplicada, 6(2), 48-60. https://doi.org/10.5335/rbca.2014.3771