@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}
}
