Architecture Firms using Solibri Model Checker