Formalizing geographical models using specification and description language: The wildfire example | Publicación