@inbook {824, title = {Towards a Boosted Route Planner Using Individual Mobility Models}, booktitle = {Software Engineering and Formal Methods}, year = {2015}, pages = {108{\textendash}123}, publisher = {Springer Berlin Heidelberg}, organization = {Springer Berlin Heidelberg}, author = {Riccardo Guidotti and Paolo Cintia} }