http://biblus.accasoftware.com/es/bim-y-model-checking-que-es-y-por-que-son-necesarios-los-procesos-de-validacion-de-datos/
BIM y Model Checking aplicado al modelo disciplinar único y al modelo integrado (Merged Model) El desarrollo de procesos de trabajo colaborativos y compartidos representa la esencia de la innovación introducida por el anfoque BIM al sector de la construcción. El BIM, de hecho, no es sólo modelado tridimensional.