An initial formal model for spatial data infrastructures · Study