Will drones have a role in building construction? - Silva, N.; Eloy, S. (4th Formal Methods in Architecture conference, 2018)