L.  Gabrielli, Furletti, B., Giannotti, F., Nanni, M., and Rinzivillo, S., ?Use of Mobile Phone Data to Estimate Visitors Mobility Flows?, in Software Engineering and Formal Methods, vol. 8938, Springer International Publishing, 2015, pp. 214-226.