R.  Guidotti and Cintia, P., ?Towards a Boosted Route Planner Using Individual Mobility Models?, in Software Engineering and Formal Methods, Springer Berlin Heidelberg, 2015, pp. 108?123.