Screen captures from Tilankuja areas building information model. Design tools: Revit Architecture and Solibri Model Checker.