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