Model checking nel processo BIM: formati standard, requisiti e criticità