Formalizing geographical models using specification and description language: The wildfire example

Formalizing geographical models using specification and description language: The wildfire example