Case study – BIM verification