A BIM-Based Tool for Formwork Planning in Reinforced Concrete Buildings | Synapse