Towards a Formal Approach to Calibration and Validation of Models Using Spatial Data