N. A. Silva and S. E. Rodrigues,  "Will drones have a role in building construction? ", in 4th Int. Symp. Formal Methods in Architecture, Porto, 2018