selected publications academic article Applying rule-based model-checking to construction site layout planning tasks. Automation in Construction. 97:205-219. 2019