Holistic Construction Automation With Modular Robots: From High-Level Task Specification to Execution | IEEE Journals & Magazine | IEEE Xplore